{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T08:16:45Z","timestamp":1762503405183,"version":"3.43.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["The Journal of VLSI Signal Processing-Systems for Signal, Image, and Video Technology"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1007930622942","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:13:40Z","timestamp":1040541220000},"page":"127-144","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Heterogeneous Simulation\u2014Mixing Discrete-Event Models with Dataflow"],"prefix":"10.1007","volume":"15","author":[{"given":"Wan-Teh","family":"Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soonhoi","family":"Ha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1997,1,1]]},"reference":[{"key":"122487_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel, \u201cStatecharts: A visual formalism for complex systems,\u201d Sci. Comput. Program, Vol. 8, pp. 231-274, 1987.","journal-title":"Sci. Comput. Program"},{"key":"122487_CR2","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","volume-title":"Proc. of Formal Techniques in Real Time and Fault Tolerant Systems","author":"M. von der Beeck","year":"1994","unstructured":"M. von der Beeck, \u201cA comparison of statecharts variants,\u201d in Proc. of Formal Techniques in Real Time and Fault Tolerant Systems, LNCS863, pp. 128-148, Sprinter-Verlag, Berlin, 1994."},{"key":"122487_CR3","first-page":"155","volume":"4","author":"J.T. Buck","year":"1994","unstructured":"J.T. Buck, S. Ha, E.A. Lee, and D.G. Messerschmitt, \u201cPtolemy: A framework for simulating and prototyping heterogeneous systems,\u201d Int. Journal of Computer Simulation, special issue on \u201dSimulation software development,\u201d Vol. 4, pp. 155-182, April, 1994. (http:\/\/ptolemy.eecs.berkeley.edu\/papers\/JEurSim).","journal-title":"Int. Journal of Computer Simulation"},{"issue":"9","key":"122487_CR4","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste and G. Berry, \u201cThe synchronous approach to reactive and real-time systems,\u201d Proceedings of the IEEE, Vol. 79, No. 9, pp. 1270-1282, 1991.","journal-title":"Proceedings of the IEEE"},{"doi-asserted-by":"crossref","unstructured":"F. Boussinot and R. De Simone, \u201cThe ESTEREL language,\u201d Proceedings of the IEEE, Vol. 79, No. 9, Sept. 1991.","key":"122487_CR5","DOI":"10.1109\/5.97299"},{"issue":"5","key":"122487_CR6","first-page":"525","volume":"35","author":"A. Benveniste","year":"1990","unstructured":"A. Benveniste and P. Le Guernic, \u201cHybrid dynamical systems theory and the SIGNAL language,\u201d IEEE Tr. on Automatic Control, Vol. 35, No. 5, pp. 525-546, May 1990.","journal-title":"IEEE Tr. on Automatic Control"},{"issue":"9","key":"122487_CR7","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, \u201cThe synchronous data flow programming language LUSTRE,\u201d Proceedings of the IEEE, Vol. 79, No. 9, pp. 1305-1319, 1991.","journal-title":"Proceedings of the IEEE"},{"doi-asserted-by":"crossref","unstructured":"E.A. Lee and T.M. Parks, \u201cDataflow process networks,\u201d Proceedings of the IEEE, May 1995. (http:\/\/ptolemy.eecs.berkeley. edu\/papers\/processNets).","key":"122487_CR8","DOI":"10.1109\/5.381846"},{"key":"122487_CR9","doi-asserted-by":"publisher","first-page":"153","DOI":"10.2307\/2268280","volume":"2","author":"A.M. Turing","year":"1937","unstructured":"A.M. Turing, \u201cComputability and ?-definability,\u201d J. Symbolic Logic, Vol. 2, pp. 153-163, 1937.","journal-title":"J. Symbolic Logic"},{"key":"122487_CR10","doi-asserted-by":"publisher","first-page":"197","DOI":"10.2307\/2371809","volume":"65","author":"E.L. Post","year":"1943","unstructured":"E.L. Post, \u201cFormal reductions of the general combinatorial decision problem,\u201d Am. J. Math., Vol. 65, pp. 197-215, 1943.","journal-title":"Am. J. Math."},{"key":"122487_CR11","volume-title":"The Calculi of Lambda-Conversion","author":"A. Church","year":"1941","unstructured":"A. Church, The Calculi of Lambda-Conversion, Princeton University Press, Princeton, NJ, 1941."},{"doi-asserted-by":"crossref","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot, \u201cSTATEMATE: A working environment for the development of complex reactive systems,\u201d IEEE Trans. on Software Engineering, Vol. 16, No. 4, April 1990.","key":"122487_CR12","DOI":"10.1109\/32.54292"},{"issue":"1","key":"122487_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02406468","volume":"9","author":"J.L. Pino","year":"1995","unstructured":"J.L. Pino, S. Ha, E.A. Lee, and J.T. Buck, \u201cSoftware synthesis for DSP using Ptolemy,\u201d Journal on VLSI Signal Processing, Vol. 9, No. 1, pp. 7-21, Jan. 1995. (http:\/\/ptolemy.eecs.berkeley.edu\/ papers\/jvsp_codegen).","journal-title":"Journal on VLSI Signal Processing"},{"unstructured":"S. Ritz, M. Pankert, and H. Meyr, \u201cHigh level software synthesis for signal processing systems,\u201d in Proc. of the Int. Conf. on Application Specific Array Processors, IEEE Computer Society Press, Aug. 1992.","key":"122487_CR14"},{"unstructured":"P. Zepter and T. Gr\u00f6tker, \u201cAbstract multirate dynamic dataflow graph specification for high throughput communication link ASICs,\u201d IEEE VLSI DSP Workshop, The Netherlands, 1993.","key":"122487_CR15"},{"key":"122487_CR16","series-title":"Tech. Report","volume-title":"Dissertation","author":"A Kalavade","year":"1995","unstructured":"A, Kalavade, \u201cSystem level codesign of mixed hardware-software systems,\u201d Tech. Report UCB\/ERL 95\/88, Ph.D. Dissertation, Dept. of EECS, University of California, Berkeley, CA 94720, Sept. 1995."},{"issue":"3","key":"122487_CR17","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/54.232469","volume":"10","author":"A. Kalavade","year":"1993","unstructured":"A. Kalavade and E.A. Lee, \u201cA hardware\/software codesign methodology for DSP applications,\u201d IEEE Design and Test, Vol. 10, No. 3, pp. 16-28, Sept. 1993.","journal-title":"IEEE Design and Test"},{"key":"122487_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S1045-926X(06)80007-8","volume":"2","author":"J. Rasure","year":"1991","unstructured":"J. Rasure and C.S. Williams, \u201cAn integrated visual language and software development environment,\u201d Journal of Visual Languages and Computing, Vol. 2, pp. 217-246, 1991.","journal-title":"Journal of Visual Languages and Computing"},{"unstructured":"J.B. Dennis, \u201cFirst version data flow procedure language,\u201d Technical Memo MAC TM61, May, 1975, MIT Laboratory for Computer Science.","key":"122487_CR19"},{"unstructured":"G. Kahn, \u201cThe semantics of a simple language for parallel programming,\u201d Proc. of the IFIP Congress 74, North-Holland Publishing Co., 1974.","key":"122487_CR20"},{"key":"122487_CR21","first-page":"1390","volume":"14","author":"R.M. Karp","year":"1966","unstructured":"R.M. Karp and R.E. Miller, \u201cProperties of a model for parallel computations: Determinacy, termination, queueing,\u201d SIAM Journal, Vol. 14, pp. 1390-1411, Nov. 1966.","journal-title":"SIAM Journal"},{"doi-asserted-by":"crossref","unstructured":"E.A. Lee and D.G. Messerschmitt, \u201cSynchronous data flow,\u201d IEEE Proceedings, Sept. 1987.","key":"122487_CR22","DOI":"10.1109\/PROC.1987.13876"},{"unstructured":"R. Lauwereins, P. Wauters, M. Ad\u00e9, and J.A. Peperstraete, \u201cGeometric parallelism and cyclo-static dataflow in GRAPE-II,\u201d Proc. 5th Int.Workshop on Rapid System Prototyping, Grenoble, France, June, 1994.","key":"122487_CR23"},{"unstructured":"G. Bilsen, M. Engels, R. Lauwereins, and J.A. Peperstraete, \u201dStatic scheduling of multi-rate and cyclo-static DSP applications,\u201d Proc. 1994 Workshop on VLSI Signal Processing, IEEE Press, 1994.","key":"122487_CR24"},{"key":"122487_CR25","volume-title":"Processing graph method specification version 1.0","author":"D.J. Kaplan","year":"1987","unstructured":"D.J. Kaplan et al., \u201cProcessing graph method specification version 1.0,\u201d Unpublished Memorandum, The Naval Research Laboratory, Washington, D.C., Dec. 11, 1987."},{"unstructured":"R. Jagannathan, \u201cParallel execution of GLU programs,\u201d presented at 2nd International Workshop on Dataflow Computing, Hamilton Island, Queensland, Australia, May 1992.","key":"122487_CR26"},{"doi-asserted-by":"crossref","unstructured":"W.B. Ackerman, \u201cData flow languages,\u201d Computer, Vol. 15, No. 2, Feb. 1982.","key":"122487_CR27","DOI":"10.1109\/MC.1982.1653938"},{"issue":"4","key":"122487_CR28","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter, \u201cLinda in context,\u201d Comm. of the ACM, Vol. 32, No. 4, pp. 444-458, April 1989.","journal-title":"Comm. of the ACM"},{"key":"122487_CR29","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"F. Commoner and A.W. Holt, \u201cMarked directed graphs,\u201d Journal of Computer and System Sciences, Vol. 5, pp. 511-523, 1971.","journal-title":"Journal of Computer and System Sciences"},{"doi-asserted-by":"crossref","unstructured":"P.A. Suhler, J. Biswas, K.M. Korner, and J.C. Browne, \u201cTDFL: A task-level dataflow language,\u201d J. on Parallel and Distributed Systems, Vol. 9, No. 2, June 1990.","key":"122487_CR30","DOI":"10.1016\/0743-7315(90)90039-R"},{"key":"122487_CR31","series-title":"Tech. Report","volume-title":"Dissertation","author":"J.T. Buck","year":"1993","unstructured":"J.T. Buck, \u201cScheduling dynamic dataflow graphs with bounded memory using the token flow model,\u201d Tech. Report UCB\/ERL 93\/69, Ph.D. Dissertation, Dept. of EECS, University of California, Berkeley, CA 94720, 1993."},{"issue":"5","key":"122487_CR32","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/TCOM.1973.1091674","volume":"Com-23","author":"C. Ellingson","year":"1973","unstructured":"C. Ellingson and R.J. Kulpinski, \u201cDissemination of system-time,\u201d IEEE Trans. on Communications, Vol. Com-23, No. 5, pp. 605-624, May, 1973.","journal-title":"IEEE Trans. on Communications"},{"doi-asserted-by":"crossref","unstructured":"L. Lamport, \u201cTime, clocks, and the ordering of events in a distributed system,\u201d Communications of the ACM, Vol. 21, No. 7, July, 1978.","key":"122487_CR33","DOI":"10.1145\/359545.359563"},{"issue":"8","key":"122487_CR34","doi-asserted-by":"publisher","first-page":"1404","DOI":"10.1109\/49.62819","volume":"8","author":"D.G. Messerschmitt","year":"1990","unstructured":"D.G. Messerschmitt, \u201cSynchronization in digital system design,\u201d IEEE Journal on Selected Areas in Communications, Vol. 8, No. 8, pp. 1404-1419, Oct. 1990.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"122487_CR35","doi-asserted-by":"crossref","DOI":"10.56021\/9780801844256","volume-title":"Combinatorics and Partially Ordered Sets","author":"W.T. Trotter","year":"1992","unstructured":"W.T. Trotter, Combinatorics and Partially Ordered Sets, Johns Hopkins University Press, Baltimore, Maryland, 1992."},{"key":"122487_CR36","volume-title":"Discrete Event Systems, Modeling and Performance Analysis","author":"C. Cassandras","year":"1993","unstructured":"C. Cassandras, Discrete Event Systems, Modeling and Performance Analysis, Irwin, Homewood, IL, 1993."},{"doi-asserted-by":"crossref","unstructured":"H. Hsieh, L. Lavagno, and A. Sangiovanni-Vincentelli, \u201cEmbedded system codesign: Synthesis and verification,\u201d presented at NATO-ASI Workshop on Hardware\/Software Codesign, Lake Como, June 1995.","key":"122487_CR37","DOI":"10.1007\/978-94-009-0187-2_9"},{"doi-asserted-by":"crossref","unstructured":"D. Verkest, K. Van Rompaey, I. Bolsens, and H. De Man, \u201cPOPE-A design environment for heterogeneous hardware\/software systems,\u201d to appear, Design Automation for Embedded Systems, 1996.","key":"122487_CR38","DOI":"10.1007\/BF00209910"},{"doi-asserted-by":"crossref","unstructured":"E.A. Lee, \u201cConsistency in dataflow graphs,\u201d IEEE Transactions on Parallel and Distributed Systems, Vol. 2, No. 2, April 1991.","key":"122487_CR39","DOI":"10.1109\/71.89067"},{"unstructured":"J. Bier, P. Lapsley, E. A. Lee, and F. Weller, \u201cDSP design tools and methodologies,\u201d Technical Report, Berkeley Design Technology, 39355 California St., Suite 206, Fremont, CA 94538, 1995.","key":"122487_CR40"},{"unstructured":"A.V. Oppenheim and R.W. Schafer, Discrete-Time Signal Processing, Englewood Cliffs, NJ, 1989.","key":"122487_CR41"}],"container-title":["Journal of VLSI signal processing systems for signal, image and video technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007930622942.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1007930622942\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007930622942.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T09:26:25Z","timestamp":1754904385000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1007930622942"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":41,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["122487"],"URL":"https:\/\/doi.org\/10.1023\/a:1007930622942","relation":{},"ISSN":["0922-5773"],"issn-type":[{"type":"print","value":"0922-5773"}],"subject":[],"published":{"date-parts":[[1997,1]]},"assertion":[{"value":"1 January 1997","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}