Author of the publication

Why the Occur-Check is Not a Problem.

, and . PLILP, volume 631 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model-Based Proactive Read-Validation in Transaction Processing Systems., , , , and . ICPADS, page 481-488. IEEE, (2018)Autonomic State Management for Optimistic Simulation Platforms., , and . IEEE Trans. Parallel Distributed Syst., 26 (6): 1560-1569 (2015)Why the Occur-Check is Not a Problem., and . PLILP, volume 631 of Lecture Notes in Computer Science, page 69-86. Springer, (1992)long version: TOPLAS 16(3): 687-726 (1994).The ROme OpTimistic Simulator: A Tutorial., and . Euro-Par Workshops, volume 8374 of Lecture Notes in Computer Science, page 501-512. Springer, (2013)Hijacker: Efficient static software instrumentation with applications in high performance computing: Poster paper.. HPCS, page 650-655. IEEE, (2013)Time-Sharing Time Warp via Lightweight Operating System Support., and . SIGSIM-PADS, page 47-58. ACM, (2015)Consistent and efficient output-streams management in optimistic simulation platforms., , and . SIGSIM-PADS, page 315-326. ACM, (2013)Autonomic rejuvenation of cloud applications as a countermeasure to software anomalies., , and . Softw. Pract. Exp., 51 (1): 46-71 (2021)A Fine-Grain Time-Sharing Time Warp System., and . ACM Trans. Model. Comput. Simul., 27 (2): 10 (2017)Evaluation of the Relation Between Changes in R-waveAmplitude and LV Mass and Dimensions in a Model of "Reversed Hypertrophy"., , , , , , and . CinC, page 867-870. www.cinc.org, (2013)