From post

Why the Occur-Check is Not a Problem.

, и . PLILP, том 631 из Lecture Notes in Computer Science, стр. 69-86. Springer, (1992)long version: TOPLAS 16(3): 687-726 (1994).

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.

 

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

The ROme OpTimistic Simulator: A Tutorial., и . Euro-Par Workshops, том 8374 из Lecture Notes in Computer Science, стр. 501-512. Springer, (2013)Model-Based Proactive Read-Validation in Transaction Processing Systems., , , , и . ICPADS, стр. 481-488. IEEE, (2018)Time-Sharing Time Warp via Lightweight Operating System Support., и . SIGSIM-PADS, стр. 47-58. ACM, (2015)Consistent and efficient output-streams management in optimistic simulation platforms., , и . SIGSIM-PADS, стр. 315-326. ACM, (2013)Why the Occur-Check is Not a Problem., и . PLILP, том 631 из Lecture Notes in Computer Science, стр. 69-86. Springer, (1992)long version: TOPLAS 16(3): 687-726 (1994).Autonomic State Management for Optimistic Simulation Platforms., , и . IEEE Trans. Parallel Distributed Syst., 26 (6): 1560-1569 (2015)Hijacker: Efficient static software instrumentation with applications in high performance computing: Poster paper.. HPCS, стр. 650-655. IEEE, (2013)A Fine-Grain Time-Sharing Time Warp System., и . ACM Trans. Model. Comput. Simul., 27 (2): 10 (2017)Autonomic rejuvenation of cloud applications as a countermeasure to software anomalies., , и . Softw. Pract. Exp., 51 (1): 46-71 (2021)A Conflict-Resilient Lock-Free Calendar Queue for Scalable Share-Everything PDES Platforms., , , и . SIGSIM-PADS, стр. 15-26. ACM, (2017)