( en | de | ru )

 

Disambiguierung von "Shao, Zhong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems.

, und . ICDCS, Seite 1149-1160. IEEE, (2019)

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.

Hua Shao

Li Shao

Hua Shao

Junyang Shao

Gang Zhong

 

Weitere Publikationen von Autoren mit dem selben Namen

Callee-Save Registers in Continuation-Passing Style., und . LISP Symb. Comput., 5 (3): 191-221 (1992)Typed common intermediate format.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 82 (2000)Building certified concurrent OS kernels., , , , , , , und . Commun. ACM, 62 (10): 89-99 (2019)Ou: Automating the Parallelization of Zero-Knowledge Protocols., , , , , , , und . CCS, Seite 534-548. ACM, (2023)TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions., , , und . DSN, Seite 453-465. IEEE, (2022)Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems., , , und . VSTTE, Volume 5295 von Lecture Notes in Computer Science, Seite 54-69. Springer, (2008)Modular Verification of Concurrent Thread Management., , , und . APLAS, Volume 7705 von Lecture Notes in Computer Science, Seite 315-331. Springer, (2012)Foundational Typed Assembly Language with Certified Garbage Collection., , , , und . TASE, Seite 326-338. IEEE Computer Society, (2007)Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems., , und . ICRA, Seite 11060-11066. IEEE, (2020)Type-Directed Continuation Allocation., und . Types in Compilation, Volume 1473 von Lecture Notes in Computer Science, Seite 116-135. Springer, (1998)