{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T05:28:02Z","timestamp":1734586082701,"version":"3.30.2"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1007\/bf00134686","type":"journal-article","created":{"date-parts":[[2004,9,16]],"date-time":"2004-09-16T20:56:57Z","timestamp":1095368217000},"page":"147-176","source":"Crossref","is-referenced-by-count":0,"title":["Codesign of a parallel architecture and an optimizing compiler backend: SIN rete processing as a case study"],"prefix":"10.1007","volume":"1","author":[{"given":"Klaus","family":"ten Hagen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Steinberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinrich","family":"Meyr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"CR1","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1109\/71.149965","volume":"3","author":"Anurag Acharya","year":"July 1992","unstructured":"Anurag Acharya, Milind Tambe, and Anoop Gupta. Implementation of Production Systems on Message-Passing Computers. Transactions on Parallel and Distributed Processing, 3(4):477?487, July 1992.","journal-title":"Transactions on Parallel and Distributed Processing"},{"key":"CR2","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley Publishing Company, 1986."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"David Becker, Raj K. Singh, and G. Tell. An engineering environment for hardware\/software cosimulation. In 29th Design Automation Conference, pages 129?134. ACM\/IEEE, 1992.","DOI":"10.1109\/DAC.1992.227848"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Michael C. Becker, Michael S. Allen, Charles R. Moore, John S. Muhich, and David P. Tuttle. The PowerPC 601 Microprocessor. IEEE Micro, pages 54?68, October 1993.","DOI":"10.1109\/40.238002"},{"key":"CR5","unstructured":"Lee Brownston, Robert Farell, Elaine Kant, and Nancy Martin. Programming Expert Systems in OPS5. Addison-Wesley Publishing Company, 1986."},{"key":"CR6","unstructured":"Thomas Cooper and Nancy Wogrin. Rule-based Programming with OPS5. Artificial Intelligence, Expert Systems. Morgan Kaufmann Publishers, Inc., 1988."},{"key":"CR7","unstructured":"Charles L. Forgy. On the Efficient Implementation of Production Systems. PhD thesis, Carnegie-Mellon University, February 1979."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Charles L. Forgy. Rete: A Fast Algorithm for the Many Object Pattern Match Problem. Artificial Intelligence, 19, September 1982.","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Rajesh K. Gupta, Claudionor Nunes Coelho, and Giovanni De Micheli. Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components. In 29th Design Automation Conference, pages 225?230. ACM\/IEEE, 1992.","DOI":"10.1109\/DAC.1992.227832"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"W. Hennessey. WCL: Delivering Efficient Common Lisp Applications under Unix. Tech. rep., Stanford University, Center for Design Research, 1991.","DOI":"10.1145\/141471.141560"},{"key":"CR11","unstructured":"John L. Hennessy and David A. Patterson. Computer Architecture a quantitative Approach. Morgan Kaufmann Publisher, 1990."},{"key":"CR12","unstructured":"Bruce K. Holmer and Barry M. Pangrle. Hardware\/software codesign using automated instruction set design & processor synthesis. In Codes. IEEE, October 1993."},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-95525-9","volume-title":"Design of VLSI Circuits","author":"Egon H\u00f6rbst","year":"1987","unstructured":"Egon H\u00f6rbst, Christian M\u00fcller-Schloer, and Heinz Schw\u00e4rtzel. Design of VLSI Circuits. Springer Verlag, Springer Heidelberg Germany, 1987."},{"key":"CR14","unstructured":"Asawaree Kalavade and Edward E. Lee. Hardware \/ software co-design using ptolemy - a case study. In Proceedings of the Inter. Workshop on HW\/SW Codesign, Grassau, October 1992. IFIP"},{"key":"CR15","unstructured":"W.M. Loucks, B.J. Doray, and D.G. Agnew. Experiences in Real-Time Hardware-Software Co-Simulation. In VHDL International Users' Forum (VIUF), pages 47?57. IEEE Computer Society, April 1993."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"William Mettrey. A comparative evaluation of expert system tools. IEEE Computer Magazine, pages 19?31, February 1991.","DOI":"10.1109\/2.67208"},{"key":"CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-01461-4","volume-title":"Systematischer Entwurf digitaler Systeme: Von der System-bis zur Gatterebene","author":"Franz J. Rammig","year":"1989","unstructured":"Franz J. Rammig. Systematischer Entwurf digitaler Systeme: Von der System-bis zur Gatterebene. B. G. Teubner, Stuttgart, 1989."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"S. Ritz, M. Pankert, and H. Meyr. High level software synthesis for signal processing systems. In Proceedings of the Intl. Conf. on Application-Specific Array Processors, pages 679?693. Prentice Hall, IEEE Computer Society, 1992.","DOI":"10.1109\/ASAP.1992.218536"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"E. Robert and A. MacLachlan. CMU Common Lisp User's Manual. Tech. Rep. CMU-CS-92-161, Carnegie Mellon University, School of Computer Science, 1992.","DOI":"10.21236\/ADA256431"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Avtar Saini. Design of the Intel Pentium Processor. In ICCD, pages 258?261. IEEE, October 1993.","DOI":"10.1109\/ICCD.1993.393370"},{"key":"CR21","unstructured":"Porter D. Sherman and John C. Martin. An OPS5 Primer. Prentice Hall, 1990."},{"key":"CR22","unstructured":"Daniel P. Siewiorek, D. Gordon Bell, and Allen Newell. Computer Structures: Principles and Examples, chapter Multiple-Processor Systems, pages 332?386. McGraw-Hill, 2nd edition, 1982."},{"key":"CR23","unstructured":"Charles G. Smith. VLIW Microcomputers for Applications Specific Solutions. TI Technical Journal, pages 75?87, February 1992."},{"key":"CR24","unstructured":"Synopsys Inc., Mountain View, CA, USA. Design Compiler Manual."},{"key":"CR25","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-79689-0","volume-title":"Abstrakte Modellierung digitaler Schaltungen (VHDL vom funktionalen Modell bis zur Gatterebene)","author":"K. Hagen ten","year":"August 1995","unstructured":"K. ten Hagen. Abstrakte Modellierung digitaler Schaltungen (VHDL vom funktionalen Modell bis zur Gatterebene). Springer, Heidelberg New York, August 1995. ISBN 3?540?59143?5.","ISBN":"https:\/\/id.crossref.org\/isbn\/3540591435"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"K. ten Hagen and H. Meyr. Concurrent design of a chipset and its runtime environment. In Fifth International ASIC Conference, pages 525?528. IEEE, September 1992. ISBN 0-7803-0768-2.","DOI":"10.1109\/ASIC.1992.270207"},{"key":"CR27","unstructured":"K. ten Hagen and H. Meyr. Generic Design: Its Importance, Implementation and Limitations. In VHDL International Users' Forum (VIUF), pages 297?309. IEEE Computer Society, April 1993."},{"key":"CR28","unstructured":"K. ten Hagen and H. Meyr. Modeling at different Levels of Abstraction within an ASIC Design Project. In Modelling and Simulation (ESM), pages 95?99. SCS, June 1993. ISBN 1-56555-056-0."},{"key":"CR29","unstructured":"K. ten Hagen and H. Meyr. Partitioning and Surmounting the Abstraction Gap in Hardware-Software Codesign. In Int. Conf. on Computer Design (ICCD), pages 462?465. IEEE, October 1993. ISBN 0-8186-4230-0."},{"key":"CR30","volume-title":"Int. Workshop on Hardware Software Codesign (CODES)","author":"K. ten Hagen","year":"October 1993","unstructured":"K. ten Hagen and H. Meyr. Timed and Untimed Hardware\/Software Co-simulation: Application and efficient Implementation. In G. de Micheli, editor, Int. Workshop on Hardware Software Codesign (CODES), Cambridge, MA, October 1993. IEEE."},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"John Watkins, Raymond Roth, Michael Hsieh, William Radke, Donald Hejna, Byung Kim, and Richard Tim. A memory controller with an integrated graphics processor. In ICCD, pages 324?338. IEEE, October 1993.","DOI":"10.1109\/ICCD.1993.393357"},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"James Wu, Teresa Young, Eiji Kawamoto, and Walter Keutgens. Accurate VHDL Libraries for ASIC Design. In Fifth International ASIC Conference, pages 327?330. IEEE, September 1992.","DOI":"10.1109\/ASIC.1992.270226"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134686.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00134686\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T16:52:51Z","timestamp":1734540771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00134686"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":32,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["BF00134686"],"URL":"https:\/\/doi.org\/10.1007\/bf00134686","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}