Concurrent Constraint-based Memory Machines: A framework for Java Memory Models (2004)

View PDF

Download Links

by Vijay Saraswat
Venue:In ASIAN
Citations:10 - 2 self

Active Bibliography

313 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999
6 A Unified Formal Specification and Analysis of the New Java Memory Models – Varsha Awhad, Charles Wallace - 2002
Memory Model Specification Framework with Integrated Model Checking Capability † – Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom - 2000
819 Transactional Memory: Architectural Support for Lock-Free Data Structures – Maurice Herlihy, J. Eliot B. Moss
561 Implementation and performance of Munin – John B. Carter, John K. Bennett, Willy Zwaenepoel - 1991
499 TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems – Pete Keleher , Alan L. Cox, Sandhya Dwarkadas, Willy Zwaenepoel - 1994
2 An Abstract State Machine specification and verification of the Location Consistency memory model and cache protocol – Charles Wallace, Guy Tremblay, José N. Amaral
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
508 Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors – John M. Mellor-crummey, Michael L. Scott - 1991