From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency.

S. Lin, E. Jellum, M. Theile, T. Tanneberger, B. Sun, C. Jerad, R. Xu, G. Feng, C. Menard, M. Lohstroh, J. Castrillón, S. Seshia, и E. Lee. CoRR, (2024)

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.

Lin Lin

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

Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems.S. Bateni, M. Lohstroh, H. Wong, R. Tabish, H. Kim, S. Lin, C. Menard, C. Liu, и E. Lee. CoRR, (2022)Beyond the Threaded Programming Model on Real-Time Operating Systems.E. Jellum, S. Lin, P. Donovan, E. Soyer, F. Shakir, T. Bryne, M. Orlandic, M. Lohstroh, и E. Lee. NG-RES@HiPEAC, том 108 из OASIcs, стр. 3:1-3:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications.M. Schoeberl, E. Khodadad, S. Lin, E. Maroun, L. Pezzarossa, и E. Lee. WCET, том 121 из OASIcs, стр. 4:1-4:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Consistency vs. Availability in Distributed Real-Time Systems.E. Lee, R. Akella, S. Bateni, S. Lin, M. Lohstroh, и C. Menard. CoRR, (2023)Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems.S. Bateni, M. Lohstroh, H. Wong, H. Kim, S. Lin, C. Menard, и E. Lee. MEMOCODE, стр. 1-11. ACM / IEEE, (2023)Debugging and Verification Tools for Lingua Franca in Gemoc Studio.J. Deantoni, J. Cambeiro, S. Bateni, S. Lin, и M. Lohstroh. FDL, стр. 1-8. IEEE, (2021)PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency.S. Lin, E. Jellum, M. Theile, T. Tanneberger, B. Sun, C. Jerad, R. Xu, G. Feng, C. Menard, M. Lohstroh и 3 other автор(ы). CoRR, (2024)Provable Determinism for Software in Cyber-Physical Systems.M. Rossel, S. Lin, M. Lohstroh, J. Castrillón, и A. Goens. VSTTE, том 14095 из Lecture Notes in Computer Science, стр. 85-107. Springer, (2023)How to Exploit a DeFi Project.X. Sun, S. Lin, V. Sjöberg, и J. Jie. Financial Cryptography Workshops, том 12676 из Lecture Notes in Computer Science, стр. 162-167. Springer, (2021)InterPRET: a Time-predictable Multicore Processor.E. Jellum, S. Lin, P. Donovan, C. Jerad, E. Wang, M. Lohstroh, E. Lee, и M. Schoeberl. CPS-IoT Week Workshops, стр. 331-336. ACM, (2023)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Lin Lin

Lin Lin

Lin Lin

Lin Lin

Lin Lin

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

Disambiguation