Author of the publication

Embedding Semantics of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection Tool.

, , , , , , and . PMAM@PPoPP, page 20-29. ACM, (2016)

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

Expanding the volunteer computing scenario: A novel approach to use parallel applications on volunteer computing., , , , and . Future Gener. Comput. Syst., 28 (6): 881-889 (2012)Emergent algorithms for replica location and selection in data grid., , , and . Future Gener. Comput. Syst., 26 (7): 934-946 (2010)An ontology-driven decision support system for high-performance and cost-optimized design of complex railway portal frames., , , , and . Expert Syst. Appl., 39 (10): 8784-8792 (2012)Improving MPI applications with a new MPI_Info and the use of the memoization., , , , , and . EuroMPI, page 7-12. ACM, (2013)Efficient design assessment in the railway electric infrastructure domain using cloud computing., , , and . Integr. Comput. Aided Eng., 24 (1): 57-72 (2017)An Adaptive Cache Coherence Protocol Specification for Parallel Input/Output Systems., , , , and . IEEE Trans. Parallel Distributed Syst., 15 (6): 533-545 (2004)Specifying use case behavior with interaction models., , , , and . J. Object Technol., 4 (9): 143-159 (2005)A heterogeneous mobile cloud computing model for hybrid clouds., , and . Future Gener. Comput. Syst., (2018)Fault tolerant file models for parallel file systems: introducing distribution patterns for every file., , , , and . J. Supercomput., 47 (3): 312-334 (2009)PSO vs. ACO, Data Grid Replication Services Performance Evaluation., and . ISPA Workshops, volume 4331 of Lecture Notes in Computer Science, page 833-843. Springer, (2006)