( en | de | ru )

 

Disambiguierung von "Yuan, Shenghao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verified functional programming of an IoT operating system's bootloader.

, und . MEMOCODE, Seite 89-97. ACM, (2021)

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.

Li Yuan

Jing Yuan

Fang Yuan

Lei Yuan

Xiugan Yuan

 

Weitere Publikationen von Autoren mit dem selben Namen

Verified programming and secure integration of operating system libraries in Coq. (Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d'exploitation dans Coq).. University of Rennes 1, France, (2023)Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study., , , , , und . Sci. Comput. Program., (2021)Verified functional programming of an IoT operating system's bootloader., und . MEMOCODE, Seite 89-97. ACM, (2021)End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers., , , , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 293-316. Springer, (2022)Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification., , , und . SETTA, Volume 14464 von Lecture Notes in Computer Science, Seite 385-401. Springer, (2023)Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study., , , , , und . FTSCS, Volume 1165 von Communications in Computer and Information Science, Seite 57-73. Springer, (2019)Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers., , , , und . Middleware, Seite 161-173. ACM, (2022)