{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:17:11Z","timestamp":1755217031678,"version":"3.43.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"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":["Formal Methods in System Design"],"published-print":{"date-parts":[[1997,7]]},"DOI":"10.1023\/a:1008633809454","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"41-70","source":"Crossref","is-referenced-by-count":42,"title":["Joint Minimization of Code and Data for Synchronous Dataflow Programs"],"prefix":"10.1007","volume":"11","author":[{"given":"Praveen K.","family":"Murthy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuvra S.","family":"Bhattacharyya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"131329_CR1","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1109\/TC.1981.1675792","volume":"C-30","author":"W.A. Abu-Sufah","year":"1981","unstructured":"W.A. Abu-Sufah, D.J. Kuck, and D.H. Lawrie, \u201cOn the performance enhancement of paging systems through program analysis and transformations,\u201d IEEE Transactions on Computers, Vol. C-30, No. 5, pp. 341\u2013356, May 1981.","journal-title":"IEEE Transactions on Computers"},{"key":"131329_CR2","unstructured":"M. Ade, R. Lauwereins, and J.A. Peperstraete, \u201cBuffer memory requirements in DSP applications,\u201d presented at IEEE Workshop on Rapid System Prototyping, Grenoble, June 1994."},{"key":"131329_CR3","doi-asserted-by":"crossref","unstructured":"U. Banerjee, Dependence Analysis for Supercomputing, Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-1-4684-6894-6"},{"key":"131329_CR4","unstructured":"S.S. Bhattacharyya, \u201cCompiling Dataflow Programs for Digital Signal Processing,\u201d Ph.D. Thesis, Memorandum No. UCB\/ERL M94\/52, Electronics Research Laboratory, University of California at Berkeley, July 1994."},{"issue":"3","key":"131329_CR5","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF01608539","volume":"6","author":"S.S. Bhattacharyya","year":"1993","unstructured":"S.S. Bhattacharyya and E.A. Lee, \u201cScheduling synchronous dataflow graphs for efficient looping,\u201d Journal of VLSI Signal Processing, Vol. 6, No. 3, pp. 271\u2013288, Dec. 1993.","journal-title":"Journal of VLSI Signal Processing"},{"key":"131329_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1389-2","volume-title":"Software Synthesis from Dataflow Graphs","author":"S.S. Bhattacharyya","year":"1996","unstructured":"S.S. Bhattacharyya, P.K. Murthy, and E.A. Lee, Software Synthesis from Dataflow Graphs, Kluwer Academic Publishers, Norwell, Ma, 1996."},{"key":"131329_CR7","unstructured":"S.S. Bhattacharyya, P.K. Murthy, and E.A. Lee, \u201cOptimal parenthesization of lexical orderings for DSP block diagrams,\u201d Proceedings of the 1995 IEEE Workshop on VLSI Signal Processing, Japan, Oct. 1995."},{"key":"131329_CR8","doi-asserted-by":"crossref","unstructured":"S.S. Bhattacharyya, P.K. Murthy, and E.A. Lee, \u201cAPGAN and RPMC: Complimentary heuristics for translating DSP block diagrams into software implementations,\u201d Design Automation for Embedded Systems Journal, Jan., 1997'.","DOI":"10.1023\/A:1008806425898"},{"key":"131329_CR9","first-page":"1245","volume":"2","author":"J.T. Buck","year":"1991","unstructured":"J.T. Buck, S. Ha, E.A. Lee, and D.G. Messerschmitt, \u201cMultirate signal processing in Ptolemy,\u201d Proceedings of the International Conference on Acoustics, Speech, and Signal Processing, Toronto, April 1991, Vol. 2, pp. 1245\u2013124","journal-title":"Proceedings of the International Conference on Acoustics, Speech, and Signal Processing"},{"key":"131329_CR10","unstructured":"J.T. Buck, S. Ha, E.A. Lee, and D.G. Messerschmitt, \u201cPtolemy: A framework for simulating and prototyping heterogeneous systems,\u201d International Journal of Computer Simulation, Vol. 4, April 1994."},{"key":"131329_CR11","unstructured":"T.H. Cormen, C.E. Leiserson, and R.L. Rivest, Introduction to Algorithms, McGraw-Hill, 1990'."},{"key":"131329_CR12","unstructured":"M.R. Garey and D.S. Johnson, Computers and Intractability-A Guide to the Theory of NP-Completeness, Freeman, 1979."},{"issue":"9","key":"131329_CR13","doi-asserted-by":"crossref","first-page":"864","DOI":"10.1109\/TC.1973.5009182","volume":"C22","author":"S.S. Godbole","year":"1973","unstructured":"S.S. Godbole, \u201cOn efficient computation of matrix chain products,\u201d IEEE Transactions on Computers, Vol. C22, No. 9, pp. 864\u2013867, Sept. 1973.","journal-title":"IEEE Transactions on Computers"},{"key":"131329_CR14","doi-asserted-by":"crossref","unstructured":"R. Govindarajan, G.R. Gao, and P. Desai, \u201cMinimizing memory requirements in rate-optimal schedules,\u201d Proceedings of the International Conference on Application Specific Array Processors, San Francisco, Aug. 1994, pp. 75\u201386.","DOI":"10.1109\/ASAP.1994.331814"},{"key":"131329_CR15","unstructured":"W.H. Ho, E.A. Lee, and D.G. Messerschmitt, \u201cHigh level dataflow programming for digital signal processing,\u201d VLSI Signal Processing III, IEEE Press, 1988."},{"issue":"2","key":"131329_CR16","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1002\/j.1538-7305.1970.tb01770.x","volume":"49","author":"B.W. Kernighan","year":"1970","unstructured":"B.W. Kernighan and S. Lin, \u201cAn efficient heuristic procedure for partitioning graphs,\u201d Bell System Technical Journal, Vol. 49, No. 2, pp. 291\u2013308, Feb. 1970.","journal-title":"Bell System Technical Journal"},{"key":"131329_CR17","unstructured":"R. Lauwereins, P. Wauters, M. Ade, and J.A. Peperstraete, \u201cGeometric parallelism and cyclo-static dataflow in GRAPE-II,\u201d presented at IEEE Workshop on Rapid System Prototyping, Grenoble, June 1994."},{"issue":"2","key":"131329_CR18","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/53.53031","volume":"7","author":"R. Lauwereins","year":"1990","unstructured":"R. Lauwereins, M. Engels, J.A. Peperstraete, E. Steegmans, and J. Van Ginderdeuren, \u201cGRAPE: A case tool for digital signal parallel processing,\u201d IEEE ASSP Magazine, Vol. 7, No. 2, pp. 32\u201343, April 1990.","journal-title":"IEEE ASSP Magazine"},{"key":"131329_CR19","doi-asserted-by":"crossref","unstructured":"E.A. Lee and T.M. Parks, \u201cDataflow process networks,\u201d Proceedings of the IEEE, Vol. 83, No. 5, May, 1995.","DOI":"10.1109\/5.381846"},{"issue":"11","key":"131329_CR20","doi-asserted-by":"crossref","first-page":"1751","DOI":"10.1109\/29.46557","volume":"37","author":"E.A. Lee","year":"1989","unstructured":"E.A. Lee, W.H. Ho, E. Goei, J. Bier, and S.S. Bhattacharyya, \u201cGabriel: A design environment for DSP,\u201d IEEE Transactions on Acoustics, Speech, and Signal Processing, Vol. 37, No. 11, pp. 1751\u20131762, Nov. 1989.","journal-title":"IEEE Transactions on Acoustics, Speech, and Signal Processing"},{"issue":"1","key":"131329_CR21","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"C-36","author":"E.A. Lee","year":"1987","unstructured":"E.A. Lee and D.G. Messerschmitt, \u201cStatic scheduling of synchronous dataflow programs for digital signal processing,\u201d IEEE Transactions on Computers, Vol. C-36, No. 1, pp. 24\u201335, Jan. 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"131329_CR22","unstructured":"D.R. O'Hallaron, \u201cThe assign parallel program generator,\u201d Memorandum CMU-CS\u201391\u2013141, School of Computer Science, Carnegie Mellon University, May 1991."},{"key":"131329_CR23","doi-asserted-by":"crossref","unstructured":"J. Pino, S. Ha, E.A. Lee, and J.T. Buck, \u201cSoftware synthesis for DSP using ptolemy,\u201d Invited Paper in Journal of VLSI Signal Processing, Jan. 1995.","DOI":"10.1007\/BF02406468"},{"key":"131329_CR24","doi-asserted-by":"crossref","unstructured":"S. Ritz, S. Pankert, and H. Meyr, \u201cHigh level software synthesis for signal processing systems,\u201d Proceedings of the International Conference on Application Specific Array Processors, Berkeley, Aug. 1992, pp. 679\u2013693.","DOI":"10.1109\/ASAP.1992.218536"},{"key":"131329_CR25","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1109\/ICASSP.1990.116027","volume":"2","author":"M. Veiga","year":"1990","unstructured":"M. Veiga, J. Parera, and J. Santos, \u201cProgramming DSP systems on multiprocessor architectures,\u201d Proceedings of the International Conference on Acoustics, Speech, and Signal Processing, Albuquerque, April 1990, Vol. 2, pp. 965\u2013968'.","journal-title":"Proceedings of the International Conference on Acoustics, Speech, and Signal Processing"},{"key":"131329_CR26","unstructured":"M. Wolfe, Optimizing Supercompilers for Supercomputers, MIT Press, 1989'."},{"key":"131329_CR27","unstructured":"H. Zima and B. Chapman, Supercompilers for Parallel and Vector Computers, ACM Press, 1990."},{"key":"131329_CR28","unstructured":"V. Zivojnovic, H. Schraut, M. Willems, and R. Schoenen, \u201cDSPs, GPPs, and multimedia applications-An evaluation using DSPStone,\u201d Proceedings of ICSPAT, Nov. 1995."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008633809454.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008633809454\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008633809454.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:41:02Z","timestamp":1754368862000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008633809454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["131329"],"URL":"https:\/\/doi.org\/10.1023\/a:1008633809454","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}