Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Regexp"'
Publikováno v:
INRIA Saclay-Ile-de-France. 2022
A compiler consists of a sequence of phases going from lexical analysis to code generation. Ideally, the formal verification of a compiler should include the formal verification of each component of the tool-chain. An example is the CompCert project,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6dd544ebb52e27bc230fc7204fe3fa0
http://arxiv.org/abs/2306.12411
http://arxiv.org/abs/2306.12411
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
[ES] Este documento presenta una solución bajo el paradigma de Internet de las Cosas (IoT) que permite el descubrimiento de microservicios distribuidos en la capa Edge de la arquitectura IoT. La capa Edge de la arquitectura IoT está compuesta por m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::350078f7793d0da72c6ef73009a6afe2
https://hdl.handle.net/10251/175380
https://hdl.handle.net/10251/175380
Publikováno v:
ML 2021-ACM SIGPLAN Workshop on ML
ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States
ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States
International audience; A compiler consists of a sequence of phases going from lexical analysis to code generation. Ideally, the formal verification of a compiler should include the formal verification of every component of the tool-chain. In order t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0a879f1c890d65d90ee8033ff19ce1c3
https://hal.inria.fr/hal-03470713/file/Demo_Paper.pdf
https://hal.inria.fr/hal-03470713/file/Demo_Paper.pdf
Autor:
Inca López, Jhony Patricio
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
[ES] El presente trabajo de investigación propone a usted una solución para la interpretación y manejo de la información extraída de archivos de logs de uno o múltiples eventos, mediante la creación y prueba de expresiones regulares REGEXP med
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::412b74f02025b256df32a0700b76b607
http://hdl.handle.net/10251/165158
http://hdl.handle.net/10251/165158
Autor:
Lahtonen, Markus
Tässä kirjallisuuskatsauksessa tarkastellaan, miten säännöllisiä lausek- keita käyttävät merkkijonohaut voidaan toteuttaa äärellisten automaattien avulla. Sen lisäksi muutamia kirjallisuudesta löytyviä toteutustapoja tarkastellaan yksit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1222::00c04ea303ce78fcf7528e571b17e52d
http://urn.fi/URN:NBN:fi:jyu-201605132545
http://urn.fi/URN:NBN:fi:jyu-201605132545
Autor:
Marklund, Alexander, Nordlund, Fredrik
Ericssons Business Communication Suite (BCS) är en Unified Communication-lösning, och är avsedd för större företag och teleoperatörer. BCS erbjuder tjänster som snabbmeddelanden, videosamtal, lägga till kontakter i grupper samt grupphanterin
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-98846
Autor:
Sigholm, Johan
This Master's Thesis describes the design and development of an architecture for automated network node discovery and topology analysis, implemented as an extension to the network management and provisioning system NETadmin. The architecture includes
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-10593
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.