{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:55:24Z","timestamp":1759146924581,"version":"3.30.2"},"reference-count":23,"publisher":"Elsevier BV","issue":"12-15","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Architecture"],"published-print":{"date-parts":[[2003,12]]},"DOI":"10.1016\/s1383-7621(03)00075-4","type":"journal-article","created":{"date-parts":[[2003,9,12]],"date-time":"2003-09-12T05:07:29Z","timestamp":1063343249000},"page":"489-503","source":"Crossref","is-referenced-by-count":18,"title":["Global approach to assignment and scheduling of complex behaviors based on HCDG and constraint programming"],"prefix":"10.1016","volume":"49","author":[{"given":"Krzysztof","family":"Kuchcinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Wolinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1992","series-title":"High-Level Synthesis, Introduction to Chip and System Design","author":"Gajski","key":"10.1016\/S1383-7621(03)00075-4_BIB1"},{"issue":"1","key":"10.1016\/S1383-7621(03)00075-4_BIB2","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/92.555989","article-title":"Control-flow versus data-flow-based scheduling: combining both approaches in an adaptive scheduling system","volume":"5","author":"Bergamaschi","year":"1997","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"year":"1997","series-title":"System Synthesis with VHDL","author":"Eles","key":"10.1016\/S1383-7621(03)00075-4_BIB3"},{"issue":"1","key":"10.1016\/S1383-7621(03)00075-4_BIB4","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/43.62794","article-title":"Path-based scheduling for synthesis","volume":"10","author":"Camposano","year":"1991","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB5","doi-asserted-by":"crossref","unstructured":"T. Kim, J. Liu, C. Liu, A scheduling algorithm for conditional resource sharing, in: Proc. IEEE International Conference on Computer-Aided Design, 1991, pp. 84\u201387","DOI":"10.1109\/ICCAD.1991.185198"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB6","doi-asserted-by":"crossref","unstructured":"G. Lakshminarayama, K. Khouri, N. Jha, Wavesched: A novel scheduling technique for control-flow intensive designs, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 18 (5)","DOI":"10.1109\/43.759064"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB7","doi-asserted-by":"crossref","unstructured":"I. Radivojevic, F. Brewer, Incorporating speculative execution in exact control-dependent scheduling, in: Proc. 31st Conference on Design Automation, 1994, pp. 479\u2013484","DOI":"10.1145\/196244.196473"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB8","doi-asserted-by":"crossref","unstructured":"I. Radivojevic, F. Brewer, Analysis of conditional resource sharing using a guard-based control representation, in: Proc. of the ICCD, 1995, pp. 434\u2013439","DOI":"10.1109\/ICCD.1995.528904"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB9","unstructured":"L. dos Santos, J. van Eijndhoven, J. Jess, Combining code motion and scheduling, In: Proc. ProRISC, Mierlo, The Netherlands, 1996, pp. 279\u2013284"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB10","doi-asserted-by":"crossref","unstructured":"C. Tseng, R. Wei, S. Rothweiler, M. Tong, A. Bose, Bridge: a behavioral synthesis system for vlsi, in: Proc. of the IEEE 1988 Custom Integrated Circuits Conference, 1988, pp. 2.6\/1\u20132.6\/4","DOI":"10.1109\/CICC.1988.20788"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB11","doi-asserted-by":"crossref","unstructured":"K. Wakabayashi, H. Tanaka, Global scheduling independent of control dependencies based on condition vectors, in: Proc. 29th Design Automation Conference, 1992, pp. 112\u2013115","DOI":"10.1109\/DAC.1992.227852"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB12","doi-asserted-by":"crossref","unstructured":"A. Kifli, G. Goossens, H. De Man, A unified scheduling model for high-level synthesis and code generation, in: Proc. European Design and Test Conference, Paris, 1995, pp. 234\u2013238","DOI":"10.1109\/EDTC.1995.470397"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB13","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/43.833200","article-title":"Incorporating speculative execution into scheduling of control-flow intensive designs","volume":"19","author":"Lakshminarayana","year":"2000","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB14","doi-asserted-by":"crossref","unstructured":"K. Wakabayashi, T. Yoshimura, A resource sharing and control synthesis method for conditional branches, in: Proc. IEEE International Conference on Computer-Aided Design, 1989, pp. 62\u201365","DOI":"10.1109\/ICCAD.1989.76905"},{"issue":"3","key":"10.1016\/S1383-7621(03)00075-4_BIB15","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1145\/567270.567272","article-title":"Efficient scheduling of conditional behaviors for high level synthesis","volume":"7","author":"Kountouris","year":"2002","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB16","doi-asserted-by":"crossref","unstructured":"A. Kountouris, C. Wolinski, Hierarchical conditional dependency graphs as a unifying design representation the CODESIS high-level synthesis system, in: Proc. of 13th International Symposium on System Synthesis, Madrid, Spain, 2000, pp. 66\u201371","DOI":"10.1109\/ISSS.2000.874030"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB17","doi-asserted-by":"crossref","unstructured":"K. Kuchcinski, An approach to high-level synthesis using constraint logic programming, in: Proc. 24th Euromicro Conference, Workshop on Digital System Design, V\u00e4ster\u00e5s, Sweden, 1998, pp. 74\u201382","DOI":"10.1109\/EURMIC.1998.711780"},{"issue":"3","key":"10.1016\/S1383-7621(03)00075-4_BIB18","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/785411.785416","article-title":"Constraints-driven scheduling and resource assignment","volume":"8","author":"Kuchcinski","year":"2003","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB19","unstructured":"T.P. Amagbegnon, Forme canonique arborescente des horloges de SIGNAL, Ph.D. thesis, Univ. of Rennes I, December 1995"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB20","doi-asserted-by":"crossref","unstructured":"L. Carter, B. Simon, B. Calder, L. Carter, J. Ferrante, Predicated static single assignment, in: Proc. IEEE PACT, Int\u2019l Conf. on Parallel Architectures and Compilation Techniques, 1999, pp. 245\u2013255","DOI":"10.1109\/PACT.1999.807561"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB21","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/71.127258","article-title":"Automatic extraction of functional parallelism from ordinary programs","author":"Girkar","year":"1992","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB22","doi-asserted-by":"crossref","unstructured":"J. Li, R.K. Gupta, An algorithm to determine mutually exclusive operations in behavioral descriptions, in: Proc. Design, Automation and Test in Europe, Paris, France, 1998, pp. 457\u2013465","DOI":"10.1109\/DATE.1998.655898"},{"key":"10.1016\/S1383-7621(03)00075-4_BIB23","doi-asserted-by":"crossref","unstructured":"A. Parker, J. Pizarro, M. Mliner, MAHA: A program for data path synthesis, in: Proc. 23rd Design Automation Conference, 1986, pp. 461\u2013466","DOI":"10.1145\/318013.318087"}],"container-title":["Journal of Systems Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762103000754?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762103000754?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T19:11:08Z","timestamp":1734117068000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1383762103000754"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":23,"journal-issue":{"issue":"12-15","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["S1383762103000754"],"URL":"https:\/\/doi.org\/10.1016\/s1383-7621(03)00075-4","relation":{},"ISSN":["1383-7621"],"issn-type":[{"type":"print","value":"1383-7621"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}