{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T13:42:16Z","timestamp":1698327736283},"reference-count":9,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":5192,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp;amp; Computers in Japan"],"published-print":{"date-parts":[[1993,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>LOGIQUE (LOGIc simulation with QUEry) is a parallel logic simulation algorithm for parallel machines with a shared memory. In order to make the best use of the parallelism, queries are issued aggressively. The large overhead in the traditional query\u2010based parallel discrete event simulation (PDES) algorithm is reduced by replacing the query message with a reference to the shared variables. LOGIQUE has been implemented on a multiprocessor and used to simulate logic circuits. The results, which demonstrate the efficiency of LOGIQUE, are presented.<\/jats:p>","DOI":"10.1002\/scj.4690240202","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T00:40:22Z","timestamp":1183855222000},"page":"11-21","source":"Crossref","is-referenced-by-count":2,"title":["A query\u2010based parallel logic simulation algorithm"],"prefix":"10.1002","volume":"24","author":[{"given":"Tomohiro","family":"Kudoh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuro","family":"Kimura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hideharu","family":"Amano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuya","family":"Terasawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.230182"},{"key":"e_1_2_1_3_2","first-page":"32","volume-title":"Parallel distributed\u2010time logic simulation","author":"Soule L.","year":"1989"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"L.SouleandA.GuptaAnalysis of Parallelism and Deadlocks in Distributed\u2010Time Logic Simulation. Stanford University Technical Report CSL\u2010TR\u201089\u2010378 (May1989).","DOI":"10.1145\/74382.74397"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/357360.357365"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/6462.6485"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"e_1_2_1_8_2","first-page":"365","volume-title":"Virtual Time Parallel Logic Simulation. Parallel Processing Symposium JSPP'91","author":"Matsumoto","year":"1991"},{"key":"e_1_2_1_9_2","first-page":"1001","volume-title":"Cache with Synchronization Mechanism","author":"Amano H.","year":"1989"},{"key":"e_1_2_1_10_2","first-page":"205","volume-title":"Communication Mechanism Evaluation of the ATTEMPT Parallel Computer Test Bed","author":"Shimai","year":"1991"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690240202","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690240202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T20:15:24Z","timestamp":1698264924000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690240202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1002\/scj.4690240202"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690240202","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}