{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:17:04Z","timestamp":1742397424189},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292388"},{"type":"electronic","value":"9783540320500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11564751_11","type":"book-chapter","created":{"date-parts":[[2005,10,18]],"date-time":"2005-10-18T13:31:28Z","timestamp":1129642288000},"page":"107-121","source":"Crossref","is-referenced-by-count":27,"title":["Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation"],"prefix":"10.1007","author":[{"given":"Luca","family":"Benini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Bertozzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Guerri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michela","family":"Milano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1145\/996566.996753","volume-title":"Procs. of the 41st Design and Automation Conference - DAC 2004","author":"W. Wolf","year":"2004","unstructured":"Wolf, W.: The future of multiprocessor systems-on-chips. In: Procs. of the 41st Design and Automation Conference - DAC 2004, San Diego, CA, USA, pp. 681\u2013685. ACM Press, New York (2004)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/BF01386316","volume":"4","author":"J.F. Benders","year":"1962","unstructured":"Benders, J.F.: Partitioning procedures for solving mixed-variables programming problems. Numerische Mathematik\u00a04, 238\u2013252 (1962)","journal-title":"Numerische Mathematik"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-30201-8_24","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"J.N. Hooker","year":"2004","unstructured":"Hooker, J.N.: A hybrid method for planning and scheduling. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 305\u2013316. Springer, Heidelberg (2004)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1287\/ijoc.13.4.258.9733","volume":"13","author":"I.E. Grossmann","year":"2001","unstructured":"Grossmann, I.E., Jain, V.: Algorithms for hybrid milp\/cp models for a class of optimization problems. INFORMS Journal on Computing\u00a013, 258\u2013276 (2001)","journal-title":"INFORMS Journal on Computing"},{"key":"11_CR5","volume-title":"Parallel Computer Architecture: A Hardware\/Software Approach","author":"D.A. Culler","year":"1999","unstructured":"Culler, D.A., Singh, J.P.: Parallel Computer Architecture: A Hardware\/Software Approach. Morgan Kaufmann, San Francisco (1999)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/508352.508353","volume":"34","author":"K. Compton","year":"1999","unstructured":"Compton, K., Hauck, S.: Reconfigurable computing: A survey of systems and software. ACM Computing Surveys\u00a034, 171\u2013210 (1999)","journal-title":"ACM Computing Surveys"},{"key":"11_CR7","unstructured":"Hooker, J.N.: Planning and scheduling by logic-based benders decomposition. Technical report (2004), http:\/\/web.tepper.cmu.edu\/jnh\/planning.pdf"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/0743-7315(92)90017-H","volume":"16","author":"S. Prakash","year":"1992","unstructured":"Prakash, S., Parker, A.: Sos: Synthesis of application-specific heterogeneous multiprocessor systems. Journal of Parallel and Distributed Computing\u00a016, 338\u2013351 (1992)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"11_CR9","unstructured":"Lee, C., Potkonjak, M., Wolf, W.: System-level synthesis of application-specific systems using A* search and generalized force-directed heuristics, San Diego, California, pp. 2\u20137 (1996)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1109\/EURDAC.1996.558204","volume-title":"EURO-DAC 1996\/EURO-VHDL 1996: Procs. of the conference on European design automation","author":"A. Bender","year":"1996","unstructured":"Bender, A.: Milp based task mapping for heterogeneous multiprocessor systems. In: EURO-DAC 1996\/EURO-VHDL 1996: Procs. of the conference on European design automation, Geneva, Switzerland, pp. 190\u2013197. IEEE, Los Alamitos (1996)"},{"key":"11_CR11","first-page":"1405","volume":"18","author":"Y. Li","year":"1999","unstructured":"Li, Y., Wolf, W.H.: Hardware\/software co-synthesis with memory hierarchies\u00a018, 1405\u20131417 (1999)","journal-title":"Hardware\/software co-synthesis with memory hierarchies"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/500001.500006","volume-title":"Proceedings of the 14th international symposium on Systems synthesis - ISSS 2001","author":"S. Meftali","year":"2001","unstructured":"Meftali, S., Gharsalli, F., Jerraya, A.A., Rousseau, F.: An optimal memory allocation for application-specific multiprocessor system-on-chip. In: Proceedings of the 14th international symposium on Systems synthesis - ISSS 2001, pp. 19\u201324. ACM Press, New York (2001)"},{"key":"11_CR13","volume-title":"Synthesis and optimization of digital circuits","author":"G. Micheli De","year":"1994","unstructured":"De Micheli, G.: Synthesis and optimization of digital circuits. McGraw-Hill, New York (1994)"},{"key":"11_CR14","first-page":"193","volume":"10","author":"K.S. Chatha","year":"2002","unstructured":"Chatha, K.S., Vemuri, R.: Hardware-software partitioning and pipelined scheduling of transformative applications\u00a010, 193\u2013208 (2002)","journal-title":"Hardware-software partitioning and pipelined scheduling of transformative applications"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/EMWRTS.1997.613773","volume-title":"Procs. of the 9th EUROMICRO Workshop on Real-Time Systems - EUROMICRO-RTS 1997","author":"G. Fohler","year":"1997","unstructured":"Fohler, G., Ramamritham, K.: Static scheduling of pipelined periodic tasks in distributed real-time systems. In: Procs. of the 9th EUROMICRO Workshop on Real-Time Systems - EUROMICRO-RTS 1997, Toledo, Spain, pp. 128\u2013135. IEEE, Los Alamitos (1997)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Palazzari, P., Baldini, L., Coli, M.: Synthesis of pipelined systems for the contemporaneous execution of periodic and aperiodic tasks with hard real-time constraints. In: 18th International Parallel and Distributed Processing Symposium - IPDPS 2004, pp. 121\u2013128 (2004)","DOI":"10.1109\/IPDPS.2004.1303080"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/ISSS.1997.621683","volume-title":"Proceedings of the 10th international symposium on System synthesis - ISSS 1997","author":"S. Bakshi","year":"1997","unstructured":"Bakshi, S., Gajski, D.D.: A scheduling and pipelining algorithm for hardware\/software systems. In: Proceedings of the 10th international symposium on System synthesis - ISSS 1997, Washington, DC, USA, pp. 113\u2013118. IEEE Computer Society, Los Alamitos (1997)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/HSC.1997.584596","volume-title":"Procs. of the 5th Intern. Workshop on Hardware\/Software Codesign (CODES\/CASHE 1997)","author":"J. Axelsson","year":"1997","unstructured":"Axelsson, J.: Architecture synthesis and partitioning of real-time synthesis: a comparison of 3 heuristic search strategies. In: Procs. of the 5th Intern. Workshop on Hardware\/Software Codesign (CODES\/CASHE 1997), Braunschweig, Germany, pp. 161\u2013166. IEEE, Los Alamitos (1997)"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008857008151","volume":"2","author":"P. Eles","year":"1997","unstructured":"Eles, P., Peng, Z., Kuchcinski, K., Doboli, A.: System level hardware\/software partitioning based on simulated annealing and tabu search. Design Automation for Embedded Systems\u00a02, 5\u201332 (1997)","journal-title":"Design Automation for Embedded Systems"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/RTTAS.2003.1203050","volume-title":"Procs. of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003)","author":"S. Kodase","year":"2003","unstructured":"Kodase, S., Wang, S., Gu, Z., Shin, K.: Improving scalability of task allocation and scheduling in large distributed real-time systems using shared buffers. In: Procs. of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), Toronto, Canada, pp. 181\u2013188. IEEE, Los Alamitos (2003)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Eles, P., Peng, Z., Kuchcinski, K., Doboli, A., Pop, P.: Scheduling of conditional process graphs for the synthesis of embedded systems, Paris, France, pp. 132\u2013139 (1998)","DOI":"10.1109\/DATE.1998.655847"},{"key":"11_CR22","first-page":"147","volume-title":"Procs of the Ninth International Symposium on Hardware\/Software Codesign - CODES 2001","author":"K. Kuchcinski","year":"2001","unstructured":"Kuchcinski, K., Szymanek, R.: A constructive algorithm for memory-aware task assignment and scheduling. In: Procs of the Ninth International Symposium on Hardware\/Software Codesign - CODES 2001, Copenhagen, Denmark, pp. 147\u2013152. ACM Press, New York (2001)"},{"key":"11_CR23","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1109\/43.277628","volume":"13","author":"K. Kuchcinski","year":"1994","unstructured":"Kuchcinski, K.: Embedded system synthesis by timing constraint solving. IEEE Transactions on CAD\u00a013, 537\u2013551 (1994)","journal-title":"IEEE Transactions on CAD"},{"key":"11_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8917-8","volume-title":"Constraint and Integer Programming: toward a unified methodolody","author":"M. Milano","year":"2004","unstructured":"Milano, M.: Constraint and Integer Programming: toward a unified methodolody. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"11_CR25","first-page":"267","volume-title":"Principles and Practice of Constraint Programming: The Newport Papers","author":"J.N. Hooker","year":"1995","unstructured":"Hooker, J.N., Yan, H.: Logic circuit verification by benders decomposition. In: Principles and Practice of Constraint Programming: The Newport Papers, Cambridge, MA, pp. 267\u2013288. MIT Press, Cambridge (1995)"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45578-7_1","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"A. Eremin","year":"2001","unstructured":"Eremin, A., Wallace, M.: Hybrid benders decomposition algorithms in constraint logic programming. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 1\u201315. Springer, Heidelberg (2001)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-30201-8_14","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"H. Cambazard","year":"2004","unstructured":"Cambazard, H., D\u00e9planche, A.M., Hladik, P.E., Jussien, N., Trinquet, Y.: Decomposition and learning for a hard real time task allocation problem. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 153\u2013167. Springer, Heidelberg (2004)"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Thorsteinsson, E.S.: A hybrid framework integrating mixed integer programming and constraint programming, Paphos, Cyprus, pp. 16\u201330 (2001)","DOI":"10.1007\/3-540-45578-7_2"},{"key":"11_CR29","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10107-003-0375-9","volume":"96","author":"J.N. Hooker","year":"2003","unstructured":"Hooker, J.N., Ottosson, G.: Logic-based benders decomposition. Mathematical Programming\u00a096, 33\u201360 (2003)","journal-title":"Mathematical Programming"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11564751_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:13:12Z","timestamp":1586513592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11564751_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292388","9783540320500"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11564751_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}