( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors.

, , , , , , , , и . ACM Trans. Cyber Phys. Syst., 7 (1): 6:1-6:25 (января 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Lui Koester

Lui Koester

Norbert Lui

Sha Wang

Sha Liu

 

Другие публикации лиц с тем же именем

Deterministic Real-time Thread Scheduling, , и . CoRR, (2011)Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis., , , , и . CoRR, (2017)A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport., , , , и . MMSys, стр. 158-163. ACM, (2017)Compositional Verification of Architectural Models., , , , , и . NASA Formal Methods, том 7226 из Lecture Notes in Computer Science, стр. 126-140. Springer, (2012)Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems., , , , и . EMSOFT, стр. 5:1-5:10. IEEE, (2013)Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols., , , , и . ICCAD, стр. 957-963. IEEE, (2017)The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture., , , и . IEEE J. Biomed. Health Informatics, 19 (3): 1077-1086 (2015)Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)., , , , и . CoRR, (2018)Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)., , , , и . CoRR, (2018)Optimal real-time sampling rate assignment for wireless sensor networks., , , , и . ACM Trans. Sens. Networks, 2 (2): 263-295 (2006)