{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T21:28:34Z","timestamp":1672262914625},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1987,8,1]],"date-time":"1987-08-01T00:00:00Z","timestamp":554774400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1987,8]]},"DOI":"10.1007\/bf01407939","type":"journal-article","created":{"date-parts":[[2005,4,3]],"date-time":"2005-04-03T06:41:35Z","timestamp":1112510495000},"page":"305-338","source":"Crossref","is-referenced-by-count":2,"title":["Simulating logic circuits: A multiprocessor application"],"prefix":"10.1007","volume":"16","author":[{"given":"Elizabeth","family":"Bradley","sequence":"first","affiliation":[]},{"suffix":"Jr.","given":"Robert H.","family":"Halstead","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01407939_CR1","doi-asserted-by":"crossref","unstructured":"R. H. Halstead, Multilisp: A Language for Concurrent Symbolic Computation,ACM Transactions on Programming Languages and Systems, (October 1985).","DOI":"10.1145\/4472.4478"},{"key":"BF01407939_CR2","doi-asserted-by":"crossref","unstructured":"R. H. Halstead, T. Anderson, R. Osborne, and T. Sterling, Concert: Design of a Multiprocessor Development System,13th Annual Symposium on Computer Architecture, Tokyo, (June 1986).","DOI":"10.1145\/17356.17361"},{"key":"BF01407939_CR3","unstructured":"J. M. Arnold and C. J. Terman, A Multiprocessor Implementation of a Logic-level Timing Simulator,Proceedings of the ICCAD, (November 1985)."},{"key":"BF01407939_CR4","doi-asserted-by":"crossref","unstructured":"R. H. Halstead, An Assessment of Multilisp: Lessons from Experience,International Journal of Parallel Programming, (December 1986).","DOI":"10.1007\/BF01407410"},{"key":"BF01407939_CR5","doi-asserted-by":"crossref","unstructured":"S. Kravitz and R. Rutenbar, Placement by Simulated Annealing on a Multiprocessor,IEEE Transactions on CAD, (July 1987).","DOI":"10.1109\/DAC.1986.1586144"},{"key":"BF01407939_CR6","unstructured":"P. Nuth, Communication Patterns in a Symbolic Multiprocessor, M.I.T. Lab for Computer Science TR-395, (June 1987)."},{"key":"BF01407939_CR7","doi-asserted-by":"crossref","unstructured":"D. M. Webber, and A. L. Sangiovanni-Vincentelli, Circuit Simulation on the Connection Machine,Proceedings of the 24th Design Automation Conference, (1987).","DOI":"10.1145\/37888.37904"},{"key":"BF01407939_CR8","unstructured":"L. Shanbeck and R. Norin, QSPICE: An Application of Array Processors to CAD Simulation,Proceedings of the ICCAD, (1983)."},{"key":"BF01407939_CR9","doi-asserted-by":"crossref","unstructured":"P. F. McGehearty and E. J. Krall, Execution of Common Lisp Programs in a Parallel Environment, inParallel Computation and Computers for Artificial Intelligence, Kluwer Academic Publishers, (1987).","DOI":"10.1007\/978-1-4613-1989-4_3"},{"key":"BF01407939_CR10","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1984","unstructured":"H. Abelson and G. Sussman,Structure and Interpretation of Computer Programs, M.I.T. Press, Cambridge, Mass., (1984)."},{"key":"BF01407939_CR11","unstructured":"S. Gray, Using Futures to Exploit Parallelism in Lisp, S.M. Dissertation, MIT, (February 1986)."},{"key":"BF01407939_CR12","doi-asserted-by":"crossref","unstructured":"M. E. Glazier and A. P. Ambler, ULTIMATE: A Hardware Logic Simulation Engine,Proceedings of the 21st Design Automation Conference, (June 1984).","DOI":"10.1109\/DAC.1984.1585816"},{"key":"BF01407939_CR13","unstructured":"T. Anderson, The Design of a Multiprocessor Development System, M.I.T. Lab for Computer Science TR-279 (September 1982)."},{"key":"BF01407939_CR14","unstructured":"S. D. Hamm and S. R. Beckerich, VAMOS: Circuit Simulation for a Vector Computer,Proceedings of the ICCAD, (1983)."},{"key":"BF01407939_CR15","doi-asserted-by":"crossref","unstructured":"N. Ishiura,et al., High-Speed Logic Simulation on Vector Processors,IEEE Transactions on CAD, (May 1987).","DOI":"10.1109\/TCAD.1987.1270276"},{"key":"BF01407939_CR16","unstructured":"G. Pfister, The Yorktown Simulation Engine: Introduction,Proceedings of the 19th Design Automation Conference, (June 1980)."},{"key":"BF01407939_CR17","doi-asserted-by":"crossref","unstructured":"S. Takasaki,et al., Block-Level Hardware Logic Simulation Machine,IEEE Transactions on CAD, (January 1987).","DOI":"10.1109\/TCAD.1987.1270245"},{"key":"BF01407939_CR18","doi-asserted-by":"crossref","unstructured":"T. Blank, A Survey of Hardware Accelerators Used in Computer-Aided Design,IEEE Design and Test of Computers, (August 1984).","DOI":"10.1109\/MDT.1984.5005647"},{"key":"BF01407939_CR19","doi-asserted-by":"crossref","unstructured":"R. H. Halstead and T. Fujita, MASA: A Multithreaded Processor Architecture for Parallel Symbolic Computing,15th Annual Symposium on Computer Architecture, Honolulu, (June 1988).","DOI":"10.1145\/633625.52449"},{"key":"BF01407939_CR20","unstructured":"E. Bradley, Logic Simulation on a Multiprocessor, M.I.T. Lab for Computer Science TR-380, (November 1986)."},{"key":"BF01407939_CR21","doi-asserted-by":"crossref","unstructured":"P. Agrawal, Concurrency and Communication in Hardware Simulator,IEEE Transactions on CAD, (October 1986).","DOI":"10.1109\/TCAD.1986.1270231"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01407939.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01407939\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01407939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01407939.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T21:27:03Z","timestamp":1581974823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01407939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,8]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1987,8]]}},"alternative-id":["BF01407939"],"URL":"https:\/\/doi.org\/10.1007\/bf01407939","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,8]]}}}