{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:28:45Z","timestamp":1760819325949,"version":"3.41.2"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Design Automation for Embedded Systems"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1023\/a:1008884219274","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T11:51:56Z","timestamp":1040557916000},"page":"195-235","source":"Crossref","is-referenced-by-count":103,"title":["LYCOS: the Lyngby Co-Synthesis System"],"prefix":"10.1007","volume":"2","author":[{"given":"J.","family":"Madsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Grode","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.V.","family":"Knudsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.E.","family":"Petersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Haxthausen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"129872_CR1","unstructured":"S. Antoniazzi, A. Balboni, W. Fornaciari, and D. Sciuto. Hw\/sw codesign for embedded telecom systems. In proceedings of ICCD'94, October 1994."},{"key":"129872_CR2","unstructured":"S. Antoniazzi, A. Balboni, W. Fornaciari, and D. Sciuto. The role of VHDL within the TOSCA hardware\/software codesign framework. In EURO-DAC '94, pages 612\u2013617, 1994."},{"key":"129872_CR3","unstructured":"E. Barros and W. Rosenstiel. A clustering approach to support hardware\/software partitioning. In J. Rozenblit and K. Buchenrieder, editors, Codesign, pages 230\u2013262. IEEE Press, 1995."},{"issue":"9","key":"129872_CR4","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. IEEE Proceedings, 79(9):1270\u20131282, September 1991.","journal-title":"IEEE Proceedings"},{"key":"129872_CR5","unstructured":"P. Bojsen. Formalizing data flow graphs. PhD thesis, Department of Computer Science, the Technical University of Denmark, 1994."},{"key":"129872_CR6","unstructured":"J.P. Brage. Foundations of a High-Level Synthesis System. PhD thesis, Department of Computer Science, the Technical University of Denmark, 1993."},{"key":"129872_CR7","first-page":"155","volume":"4","author":"J. Buck","year":"1994","unstructured":"J. Buck, S. Ha, E.A. Lee, and D.G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal on Computer Simulation, 4:155\u2013182, 1994.","journal-title":"International Journal on Computer Simulation"},{"issue":"1\u20132","key":"129872_CR8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF00134682","volume":"1","author":"R. Camposano","year":"1996","unstructured":"R. Camposano and J. Wilberg. Embedded system design. Design Automation for Embedded Systems, 1(1\u20132):5\u201350, January 1996.","journal-title":"Design Automation for Embedded Systems"},{"key":"129872_CR9","unstructured":"K.M. Chandy and J. Misra. A Foundation of Parallel Programs Design. Printice Hall, 1988."},{"issue":"1\u20132","key":"129872_CR10","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF00134683","volume":"1","author":"M. Chido","year":"1996","unstructured":"M. Chido, D. Engels, H. Hsieh P. Giusto, A. Jurecska, L. Lavagno, K. Suzuki, and A. Sangiovanni-Vincentelli. A case study in computer-aided co-design of embedded controllers. Design Automation for Embedded Systems, 1(1\u20132):51\u201367, January 1996.","journal-title":"Design Automation for Embedded Systems"},{"key":"129872_CR11","doi-asserted-by":"crossref","unstructured":"P.H. Chou, R.B. Ortega, and G. Borriello. The Chinook hardware\/software co-synthesis system. In the 8th International Symposium on System Synthesis, September 1995.","DOI":"10.1145\/224486.224491"},{"key":"129872_CR12","unstructured":"T.H. Corman, C.E. Leiserson, and R.L. Rivest. Introduction to Algorithms. MIT Press, 1992."},{"key":"129872_CR13","unstructured":"J. T. J. Eijndhoven, C. G. de Jong, and L. Stok. The ASCIS data flow graph: semantics and textual format. Technical Report 91-E-251, Eindhoven University of Technology, June 1991."},{"key":"129872_CR14","unstructured":"R. Ernst, J. Henkel, and T. Benner. Hardware-software codesign of embedded controllers based on hardware-extraction. In International Workshop on Hardware-Software Codesign, Estes Park, Colorado, 1992."},{"key":"129872_CR15","doi-asserted-by":"crossref","unstructured":"R. Ernst, J. Henkel, and T. Benner. Hardware\/software co-synthesis of microcontrollers. Design and Test of Computers, pages 64\u201375, December 1992.","DOI":"10.1109\/54.245964"},{"key":"129872_CR16","unstructured":"D.D. Gajski, F. Vahid, and S. Narayan. A system-design methodology: Executable-specification refinement. In the European Conference on Design Automation, February 1994."},{"key":"129872_CR17","series-title":"Technical Report","volume-title":"Software estimation from executable specifications","author":"J. Gong","year":"1993","unstructured":"Jie Gong, Daniel D. Gajski, and Sanjiv Narayan. Software estimation from executable specifications. Technical Report ICS-93-5, Dept. of Information and Computer Science, University of California, Irvine, Irvine, CA 92717-3425, March 8 1993."},{"key":"129872_CR18","unstructured":"Jesper Grode. Scheduling of control flow dominated data-flow graphs. Master's thesis, Technical University of Denmark, 1995."},{"key":"129872_CR19","unstructured":"Jesper Grode and Jan Madsen. Resource considerations during parallel scheduling of large control-flow dominated applications. In 4th International Conference on VLSI and CAD, 1994."},{"key":"129872_CR20","doi-asserted-by":"crossref","unstructured":"R.K. Gupta. Co-Synthesis of Hardware and Software for Digital Embedded Systems. Kluwer Academic Publisher, 1995.","DOI":"10.1007\/978-1-4615-2287-4"},{"key":"129872_CR21","unstructured":"R.K. Gupta, C. Coelho, and G. De Micheli. Synthesis and simulation of digital systems containing interacting hardware and software components. In the 29th Design Automation Conference, June 1992."},{"key":"129872_CR22","unstructured":"Bjarne G. Hald and Jan Madsen. A flexible architecture representation for High Level Synthesis. In Second Asian Pacific Conference on Hardware Description Languages, 1994."},{"key":"129872_CR23","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. In Science of Computer Programming 8. North-Holland, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"129872_CR24","unstructured":"A. E. Haxthausen. Translation of C Programs into Quenya CDFGs. Technical report, Department of Computer Science, the Technical University of Denmark, 1995."},{"key":"129872_CR25","unstructured":"A. E. Haxthausen. Developing a Translator from C Programs to Data Flow Graphs Using RAISE. In Proceedings of COMPASS'96. IEEE Computer Society Press, 1996."},{"key":"129872_CR26","unstructured":"D. Herrmann, J. Henkel, and R. Ernst. An approach to the adaptation of estimated cost parameters in the COSYMA system. In CODES '94, 1994."},{"key":"129872_CR27","unstructured":"T. Ismail, K. O'Brien, and A. Jerraya. Interactive system-level partitioning with PARTIF. In European Conference on Design Automation, February 1994."},{"key":"129872_CR28","doi-asserted-by":"crossref","unstructured":"T.B. Ismail, M. Abid, and A. Jerraya. COSMOS: A codesign approach for communicating systems. In Third International Workshop on Hardware\/Software Codesign, pages 17\u201324. IEEE Computer Society Press, 1994.","DOI":"10.1109\/HSC.1994.336727"},{"key":"129872_CR29","unstructured":"Axel Jantsch, Peeter Ellervee, Johnny \u00d6berg, Ahmed Hermani, and Hannu Tenhunen. A case study on hardware\/software partitioning. In Proceedings of the IEEE Workshop on FPGAs for Custom Computing Machines, April 1994."},{"key":"129872_CR30","unstructured":"Axel Jantsch, Peeter Ellervee, Johnny \u00d6berg, Ahmed Hermani, and Hannu Tenhunen. Hardware\/software partitioning and minimizing memory interface traffic. In EURO-DAC '94, 1994."},{"key":"129872_CR31","unstructured":"Axel Jantsch, Peeter Ellervee, Johnny \u00d6berg, Ahmed Hermani, and Hannu Tenhunen. A software oriented approach to hardware\/software codesign. In Proceedings of the Poster Session of the International Conference on Compiler Construction, April 1994."},{"key":"129872_CR32","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured petri nets. In W. Brauer and W. Reisig, editors, Petri Nets: Central Models and Their Properties, pages 248\u2013299. Springer-Verlag, September 1987.","DOI":"10.1007\/978-3-540-47919-2_10"},{"key":"129872_CR33","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/368996.369025","volume":"5","author":"A. B. Kahn","year":"1962","unstructured":"A. B. Kahn. Topological sorting of large networks. Communications of the ACM, 5:558\u2013562, 1962.","journal-title":"Communications of the ACM"},{"key":"129872_CR34","doi-asserted-by":"crossref","unstructured":"Asawaree Kalavade and Edward A. Lee. A global criticality\/local phase driven algorithm for the constrained hardware\/software partitioning problem. In Third International Workshop on Hardware\/Software Codesign, pages 42\u201348, September 1994.","DOI":"10.1109\/HSC.1994.336724"},{"issue":"10","key":"129872_CR35","doi-asserted-by":"crossref","first-page":"1127","DOI":"10.1109\/TSE.1987.232854","volume":"SE-13","author":"K.M. Kavi","year":"1987","unstructured":"K.M. Kavi, B.P. Buckles, and U.N. Bhat. Isomorphisms between petri nets and dataflow graphs. IEEE Transaction on Software Engineering, SE-13(10):1127\u20131134, October 1987.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"129872_CR36","unstructured":"Peter V. Knudsen. Fine-grain partitioning in codesign. Master's thesis, Technical University of Denmark, 1995."},{"key":"129872_CR37","unstructured":"Peter V. Knudsen and Jan Madsen. Aspects of System Modelling in Hardware\/Software Partitioning. In Seventh IEEE International Workshop on Rapid Systems Prototyping, pages 18\u201323, 1996."},{"key":"129872_CR38","unstructured":"Peter V. Knudsen and Jan Madsen. PACE: A dynamic programming algorithm for hardware\/software partitioning. In 4th International Workshop on Hardware\/Software Codesign, Codes\/CASHE '96, March 1996."},{"key":"129872_CR39","unstructured":"R. Larsen. Estimation of Visual Motion in Image Sequences. PhD thesis, Institute of Mathematical Modelling, the Technical University of Denmark, 1994."},{"key":"129872_CR40","unstructured":"Z. Liu, M.R. Hansen, J. Madsen, and J.P. Brage. Real-Time Semantics for Data Flow Graphs. Technical report, Department of Computer Science, the Technical University of Denmark, 1995."},{"key":"129872_CR41","doi-asserted-by":"crossref","unstructured":"Jan Madsen and Bjarne G. Hald. A approach to interface synthesis. In 8. International Symposium on System Synthesis, 1995.","DOI":"10.1145\/224486.224490"},{"issue":"4","key":"129872_CR42","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/40.296153","volume":"14","author":"G. De Micheli","year":"1994","unstructured":"Giovanni De Micheli. Computer-aided hardware-software codesign. IEEE Micro, 14(4):10\u201316, August 1994.","journal-title":"IEEE Micro"},{"key":"129872_CR43","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/43.31522","volume":"8","author":"P. G. Paulin","year":"1989","unstructured":"P. G. Paulin and J. P. Knight. Force-directed scheduling for the behavioral synthesis of ASIC. IEEE Trans. Computer-Aided Design, 8:661\u2013679, 1989.","journal-title":"IEEE Trans. Computer-Aided Design"},{"key":"129872_CR44","unstructured":"The RAISE Language Group. The RAISE Specification Language. The BCS Practitioners Series. Prentice Hall Int., 1992."},{"key":"129872_CR45","doi-asserted-by":"crossref","unstructured":"J. Staunstrup. A Formal Approach to Hardware Design. Kluwer Academic Publishers, 1994.","DOI":"10.1007\/978-1-4615-2764-0"},{"key":"129872_CR46","series-title":"Technical Report","volume-title":"SLIF: A specification-level intermediate format for system design","author":"F. Vahid","year":"1994","unstructured":"F. Vahid. SLIF: A specification-level intermediate format for system design. Technical Report CS-94-06, Dept. of Computer Science, Univ. of California, Riverside, Sep 1994."},{"key":"129872_CR47","doi-asserted-by":"crossref","unstructured":"F. Vahid and D.D. Gajski. Clustering for improved system-level functional partitioning. In the 8th International Symposium on System Synthesis, September 1995.","DOI":"10.1145\/224486.224492"},{"key":"129872_CR48","unstructured":"T.Y. Yen and W. Wolf. Communication synthesis for distributed embedded systems. In International Conference on Computer Aided Design. IEEE Computer Society Press, 1995."},{"key":"129872_CR49","doi-asserted-by":"crossref","unstructured":"T.Y. Yen and W. Wolf. Sensitivity-driven co-synthesis of distributed embedded systems. In the 8th International Symposium on System Synthesis, pages 4\u20139, September 1995.","DOI":"10.1145\/224486.224488"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008884219274.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008884219274\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008884219274.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:10:48Z","timestamp":1752459048000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008884219274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["129872"],"URL":"https:\/\/doi.org\/10.1023\/a:1008884219274","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}