From post

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.

 

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

Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment., , и . EDCC, том 852 из Lecture Notes in Computer Science, стр. 491-508. Springer, (1994)Design Decisions for the FTM : A General Purpose Fault Tolerant Machine., , , и . FTCS, стр. 71-78. IEEE Computer Society, (1991)WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process., , , , , и . Softw. Pract. Exp., 43 (1): 67-92 (2013)Automatic Verification of Bossa Scheduler Properties., , , и . AVoCS, том 185 из Electronic Notes in Theoretical Computer Science, стр. 17-32. Elsevier, (2006)Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language., и . OM@PLDI, стр. 121-127. ACM, (2001)Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers., , , и . USENIX Annual Technical Conference, стр. 15-26. USENIX Association, (2017)SPINFER: Inferring Semantic Patches for the Linux Kernel., , , , , , и . USENIX Annual Technical Conference, стр. 235-248. USENIX Association, (2020)OS scheduling with nest: keeping tasks close together on warm cores., , , , , и . EuroSys, стр. 368-383. ACM, (2022)Mitigating vulnerability windows with hypervisor transplant., , , , и . EuroSys, стр. 162-177. ACM, (2021)Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code., , , и . COOTS, стр. 1-20. USENIX, (1997)