{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:22:54Z","timestamp":1725492174509},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540663638"},{"type":"electronic","value":"9783540483878"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48387-x_22","type":"book-chapter","created":{"date-parts":[[2007,10,7]],"date-time":"2007-10-07T03:32:31Z","timestamp":1191727951000},"page":"207-217","source":"Crossref","is-referenced-by-count":1,"title":["The Speedup Performance of an Associative Memory Based Logic Simulator"],"prefix":"10.1007","author":[{"given":"Damian","family":"Dalton","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-95424-5","volume-title":"Diagnosis and Reliable Design of Digital Systems","author":"Breur","year":"1976","unstructured":"Breur et al: Diagnosis and Reliable Design of Digital Systems. Computer-Science Press, New York (1976)."},{"key":"22_CR2","unstructured":"Howard et al: Introduction to the IBM Los Gatos Simulation Machine. Proc IEEE Int. Conf. Computer Design: VLSI in Computers. (Oct 1983) 580\u2013583."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Pfister: The Yorktown Simulation Engine. Introduction 19th ACM\/IEEE Design Automation Conf, (June 1982), 51\u201354.","DOI":"10.1109\/DAC.1982.1585479"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Dunn: IBM\u2019s Engineering Design System Support for VLSI Design and Verification. IEEE Design and Test Computers, (February 1984) 30\u201340.","DOI":"10.1109\/MDT.1984.5005573"},{"key":"22_CR5","unstructured":"Agrawal et al: Logic Simulation and Parallel Processing Intl Conf on Computer Aided Design (1990)."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Soule et al: Parallel Logic Simulation on General purpose machines. Proc Design Automation Conf, (June 1988), 166\u2013171.","DOI":"10.1109\/DAC.1988.14753"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Mueller-Thuns et al: Benchmarking Parallel Processing Platforms: An Application Perspective. IEEE Trans on Parallel and Distributed systems, 4 No 8 (Aug 1993).","DOI":"10.1109\/71.238628"},{"issue":"ii","key":"22_CR8","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1145\/358598.358613","volume":"24","author":"Chandy","year":"1981","unstructured":"Chandy et al: Asynchronous Distributed Simulation via Sequence of Parallel Computations. Comm ACM 24(ii) (April 1981), 198\u2013206.","journal-title":"Comm ACM"},{"key":"22_CR9","unstructured":"Bryant: Simulation of Packet Communications Architecture Computer Systems. Tech report MIT-LCS-TR-188. MIT Cambridge (1977)."},{"key":"22_CR10","unstructured":"Briner: Parallel Mixed Level Simulation of Digital Circuits Virtual Time. Ph. D thesis. Dept of El. Eng, Duke University, (1990)."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Jefferson: Virtual time. ACM Trans Programming languages systems, (July 1985) 404\u2013425.","DOI":"10.1145\/3916.3988"},{"key":"22_CR12","unstructured":"Banerjee: Parallel Algorithms for VLSI Computer-Aided Design. Prentice-Hall, 1994"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Kravitz et al: Massively Parallel SwitchLev el Simulation: A Feasibility Study. IEEE Trans. Computer-aided-Design Integrated Circuits Systems, 10(7), (July 1991).","DOI":"10.1109\/43.87598"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48387-X_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T15:44:49Z","timestamp":1556898289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48387-X_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540663638","9783540483878"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48387-x_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}