{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T05:03:55Z","timestamp":1773983035416,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540656418","type":"print"},{"value":"9783540491644","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49164-3_48","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T03:36:46Z","timestamp":1188358606000},"page":"500-509","source":"Crossref","is-referenced-by-count":3,"title":["Visual-MCM: Visualising Execution Histories on Multiple Memory Consistency Models"],"prefix":"10.1007","author":[{"given":"Alba Cristina","family":"Melo","sequence":"first","affiliation":[]},{"given":"Simone Cintra","family":"Chagas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"key":"48_CR1","unstructured":"Ahamad, M. et al.: The Power of Processor Consistency. Technical Report GIT-CC-92\/34, GIT (1992) 21 pages"},{"key":"48_CR2","unstructured":"Agrawal D., Choy M., Leong H., Singh A.: Evaluating Weak Memories with Maya. In Proceedings of the 8th Workshop on Parallel and Distributed Simulation (1994) 151\u2013155"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Adve S., Hill M., Miller B., Netzer H.: Detecting Data Races on Weak Memory Systems. In Proceedings of the 18th ISCA (1991) 234\u2013243.","DOI":"10.1145\/115952.115976"},{"key":"48_CR4","unstructured":"Balaniuk A.: Multiple Memory Consistency Models on a SVM Parallel Programming Environment. In Proceedings of the Int. Conf. OPODIS\u201997 (1997) 249\u2013260."},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"Chilimbi T., Ball T., Eick S., Larus J.: StormWatch: a Tool for Visualizing Memory System Protocols. Supercomputing\u201995 (1995).","DOI":"10.1145\/224170.224287"},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Lamport L.: How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers (1979) 690\u2013691.","DOI":"10.1109\/TC.1979.1675439"},{"key":"48_CR7","unstructured":"Lipton, R. J. and Sandberg, J. S.: PRAM: A Scalable Shared Memory. Technical Report CS-TR-180-88, Princeton University, (1988)."},{"key":"48_CR8","unstructured":"Netzer R., Miller B.: On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. Technical Report TR-908, University of Wisconsin-Madison, (1990)."},{"key":"48_CR9","unstructured":"Heddaya A., Sinha H.: An Overview of Mermera: a System Formalism for Non-Coherent Distributed Parallel Memory. Technical report BU-CS-92-009, Boston University, (1992), 21 pages."}],"container-title":["Lecture Notes in Computer Science","Parallel Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49164-3_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:34:16Z","timestamp":1556818456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49164-3_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656418","9783540491644"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-49164-3_48","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}