Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Provably Correct Networks

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Data management plan (se abrirá en una nueva ventana)

Data management plan for the Open Research Data Pilot program.

Publicaciones

FlexOS: making OS isolation flexible (se abrirá en una nueva ventana)

Autores: Hugo Lefeuvre, Vlad Badoiu, Ştefan Teodorescu, Pierre Olivier, Tiberiu Mosnoi, Răzvan Deaconescu, Felipe Huici, Costin Raiciu
Publicado en: HotOS '21: Proceedings of the Workshop on Hot Topics in Operating Systems, 2021
Editor: ACM
DOI: 10.1145/3458336.3465292

Equivalence and its applications to network verification (se abrirá en una nueva ventana)

Autores: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Publicado en: Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, Edición 2019, 2018, Página(s) 21-23, ISBN 9781450359153
Editor: ACM
DOI: 10.1145/3234200.3234224

Nephele: Extending Virtualization Environments for Cloning Unikernel-based VMs (se abrirá en una nueva ventana)

Autores: Costin Lupu, Andrei Albisoru, Radu Nichita, Doru Blanzeanu, Mihai Pogonaru, Razvan Deaconescu, Costin Raiciu
Publicado en: EuroSys '23: Proceedings of the Eighteenth European Conference on Computer Systems, Edición 2023, 2023
Editor: ACM
DOI: 10.1145/3552326.3587454

Debugging P4 programs with vera (se abrirá en una nueva ventana)

Autores: Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Publicado en: Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication - SIGCOMM '18, 2018, Página(s) 518-532, ISBN 9781-450355674
Editor: ACM Press
DOI: 10.1145/3230543.3230548

Dataplane equivalence and its applications

Autores: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, and Costin Raiciu
Publicado en: USENIX Symposium on Networked Systems Design and Implementation, Edición 2019, 2019
Editor: Usenix

Can we exploit buggy P4 programs? (se abrirá en una nueva ventana)

Autores: Mihai Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu
Publicado en: Proceedings of the Symposium on SDN Research, Edición 2020, 2020, Página(s) 62-68, ISBN 9781-450371018
Editor: ACM
DOI: 10.1145/3373360.3380836

bf4 - towards bug-free P4 programs (se abrirá en una nueva ventana)

Autores: Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
Publicado en: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Edición 2020, 2020, Página(s) 571-585, ISBN 9781-450379557
Editor: ACM
DOI: 10.1145/3387514.3405888

An edge-queued datagram service for all datacenter traffic

Autores: Vlad Olteanu, Haggai Eran, Dragos Dumitrescu, Adrian Popa, Cristi Baciu, Mark Silberstein, Georgios Nikolaidis, Mark Handley, Costin Raiciu
Publicado en: 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), 2022
Editor: Usenix

FlexOS: Towards Flexible OS Isolation (se abrirá en una nueva ventana)

Autores: Hugo Lefeuvre, Vlad Badoiu, Alexander Jung, Stefan Lucian Teodorescu, Sebastian Rauch, Felipe Huici, Costin Raiciu, Pierre Olivier
Publicado en: ASPLOS '22: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2022
Editor: ACM
DOI: 10.1145/3503222.3507759

Loupe: Driving the Development of OS Compatibility Layers

Autores: Hugo Lefeuvre, Gaulthier Gain, Vlad Badoiu, Daniel Dinca, Vlad-Radu Schiller, Costin Raiciu, Felipe Huici, Pierre Olivier
Publicado en: ASPLOS, Edición 2024, 2024
Editor: ACM

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0