{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:29:27Z","timestamp":1725672567899},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/icecs.2011.6122332","type":"proceedings-article","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T17:00:31Z","timestamp":1326301231000},"page":"542-545","source":"Crossref","is-referenced-by-count":4,"title":["Automatic generation of memory consistency tests for chip multiprocessing"],"prefix":"10.1109","author":[{"given":"Eberle A.","family":"Rambo","sequence":"first","affiliation":[]},{"given":"Olav P.","family":"Henschel","sequence":"additional","affiliation":[]},{"given":"Luiz C. V.","family":"dos Santos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2006.82"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1992.242728"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1991.1021604"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2004.1310767"},{"key":"2","article-title":"Tsotool: A program for verifying memory systems using the memory consistency model","author":"hangal","year":"0","journal-title":"Proceedings of the International Symposium on Computer Architecture 2004"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8987-1_3"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2009.4798276"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598123"},{"key":"5","article-title":"Efficient algorithms for verifying memory consistency","author":"manovit","year":"0","journal-title":"ACM Symposium on Parallelism in Algorithms and Architectures 2005"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794279614"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2008.4771799"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/11817963_46","article-title":"Fast and generalized polynomial time memory consistency verification","author":"roy","year":"2006","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"2011 18th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2011)","start":{"date-parts":[[2011,12,11]]},"location":"Beirut, Lebanon","end":{"date-parts":[[2011,12,14]]}},"container-title":["2011 18th IEEE International Conference on Electronics, Circuits, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6111681\/6122192\/06122332.pdf?arnumber=6122332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:36:59Z","timestamp":1497947819000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6122332\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icecs.2011.6122332","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}