( en | de | ru )

 

Disambiguierung von "Carabas, Mihai"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards the Property-Based Testing of an L4 Microkernel API.

, , , , und . VECoS, Volume 1431 von CEUR Workshop Proceedings, Seite 39-50. CEUR-WS.org, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Preda Mihailescu

lin Alexandru Mihai

Mihai Alevra

Mihai Vuia

Sidonia Mihai

 

Weitere Publikationen von Autoren mit dem selben Namen

Systems Monitoring and Big Data Analysis Using the Elasticsearch System., , , und . CSCS, Seite 188-193. IEEE, (2019)Suspend feature for multiple devices of same type in bhyve., , , , , , und . RoEduNet, Seite 1-5. IEEE, (2020)LLDP packet generator., , , , und . RoEduNet, Seite 7-11. IEEE, (2015)bhyve - JSON format and capsicum support for the snapshot feature., , , , und . ICCP, Seite 25-29. IEEE, (2021)Generic Data Synchronization Algorithm in Distributed Systems., und . IESS, Volume 247 von Lecture Notes in Business Information Processing, Seite 473-484. Springer, (2016)Performance Evaluation of In-kernel System Calls., , , , und . ECBS-EERC, Seite 130-133. IEEE Computer Society, (2015)Instruction caching for bhyve., und . ECBS, Seite 17:1-17:5. ACM, (2019)Scalability through Distributed Deployment for Moodle Learning Management System., , , , und . ITQM, Volume 214 von Procedia Computer Science, Seite 34-41. Elsevier, (2022)Bhyve - JSON file format snapshot., , , , und . CSCS, Seite 184-188. IEEE, (2021)Towards the Property-Based Testing of an L4 Microkernel API., , , , und . VECoS, Volume 1431 von CEUR Workshop Proceedings, Seite 39-50. CEUR-WS.org, (2015)