Author of the publication

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

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)Consistent and efficient output-streams management in optimistic simulation platforms., , and . SIGSIM-PADS, page 315-326. ACM, (2013)Time-Sharing Time Warp via Lightweight Operating System Support., and . SIGSIM-PADS, page 47-58. ACM, (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).Model-Based Proactive Read-Validation in Transaction Processing Systems., , , , and . ICPADS, page 481-488. IEEE, (2018)A Conflict-Resilient Lock-Free Calendar Queue for Scalable Share-Everything PDES Platforms., , , and . SIGSIM-PADS, page 15-26. ACM, (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)On the Accuracy and Performance of Spiking Neural Network Simulations., , and . DS-RT, page 96-103. IEEE, (2022)Hardware-Transactional-Memory Based Speculative Parallel Discrete Event Simulation of Very Fine Grain Models., , , and . HiPC, page 145-154. IEEE Computer Society, (2015)