{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T16:02:55Z","timestamp":1706544175942},"reference-count":5,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Process. Lett."],"published-print":{"date-parts":[[2003,12]]},"abstract":" This paper studies the problem of testing shared memory Java implementations to determine whether the memory behavior they provide is consistent. The complexity of the task is analyzed. The problem is defined as that of analyzing memory access traces. The study showed that the problem is NP-complete, both in the general case and in some particular cases in which the number of memory operations per thread, the number of write operations per variable, and the number of variables are restricted. <\/jats:p>","DOI":"10.1142\/s0129626403001628","type":"journal-article","created":{"date-parts":[[2004,3,5]],"date-time":"2004-03-05T11:52:36Z","timestamp":1078487556000},"page":"721-733","source":"Crossref","is-referenced-by-count":2,"title":["COMPLEXITY OF VERIFYING JAVA SHARED MEMORY EXECUTION"],"prefix":"10.1142","volume":"13","author":[{"given":"ALEX","family":"GONTMAKHER","sequence":"first","affiliation":[{"name":"Computer Science Department, Technion \u2014 Israel Institute of Technology, Technion City, Haifa 32000, Israel"}]},{"given":"SERGEY","family":"POLYAKOV","sequence":"additional","affiliation":[{"name":"Computer Science Department, Technion \u2014 Israel Institute of Technology, Technion City, Haifa 32000, Israel"}]},{"given":"ASSAF","family":"SCHUSTER","sequence":"additional","affiliation":[{"name":"Computer Science Department, Technion \u2014 Israel Institute of Technology, Technion City, Haifa 32000, Israel"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey M. R.","year":"1979"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794279614"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1145\/362670.362673"},{"key":"rf4","volume-title":"The Java Language Specification","author":"Gosling J.","year":"1996"},{"key":"rf5","volume-title":"The Java Virtual Machine Specification","author":"Lindholm T.","year":"1999"}],"container-title":["Parallel Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129626403001628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T16:15:25Z","timestamp":1565108125000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129626403001628"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":5,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2003,12]]}},"alternative-id":["10.1142\/S0129626403001628"],"URL":"https:\/\/doi.org\/10.1142\/s0129626403001628","relation":{},"ISSN":["0129-6264","1793-642X"],"issn-type":[{"value":"0129-6264","type":"print"},{"value":"1793-642X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}