{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,28]],"date-time":"2022-07-28T10:53:55Z","timestamp":1659005635937},"reference-count":34,"publisher":"EDP Sciences","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Oper. Res."],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1051\/ro:2007036","type":"journal-article","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T13:38:16Z","timestamp":1192023496000},"page":"427-454","source":"Crossref","is-referenced-by-count":1,"title":["Reservation table scheduling: branch-and-bound based optimization<i>vs<\/i>. integer linear programming techniques"],"prefix":"10.1051","volume":"41","author":[{"given":"Hadda","family":"Cherroun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Darte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Feautrier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2007,10,11]]},"reference":[{"key":"R1","unstructured":"F. Benhamou and A. Colmerauer,Constraint Logic Programming, Selected Research. MIT Press (1993)."},{"key":"R2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1177\/109434208900300302","volume":"3","author":"Berry","year":"1989","journal-title":"Int. J. Supercomput. Appl."},{"key":"R3","doi-asserted-by":"crossref","unstructured":"B.M. Pangrle and D.D. Gajski, Slicer: A state synthesizer for intelligent silicon compilation, inProc. IEEE Int. Conf. Computer Design: VLSI un Computers and Processors.(1987).","DOI":"10.1109\/TCAD.1987.1270350"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"R. Camposano, Behavioral synthesis, in33rd Design Automation Conferences(1996).","DOI":"10.1145\/240518.240524"},{"key":"R5","unstructured":"T.H. Cormen, C.E. Leiserson, and R.L. Rivest,Introduction to Algorithms. The MIT Press and McGraw-Hill Book Company (1989)."},{"key":"R6","doi-asserted-by":"crossref","unstructured":"A. Darte, Y. Robert, and F. Vivien,Scheduling and Automatic Parallelization. Birkhauser Boston (2000).","DOI":"10.1007\/978-1-4612-1362-8"},{"key":"R7","first-page":"333","volume":"91","author":"Dijkstra","year":"1959","journal-title":"Numerische Monthly"},{"key":"R8","unstructured":"F. Donnet,Synth\u00e8se de haut niveau contr\u00f4l\u00e9e par l'utilisateur. Ph.D. thesis, Universit\u00e9 Paris VI, January 2004."},{"key":"R9","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/BF01379404","volume":"21","author":"Feautrier","year":"1992","journal-title":"Int. J. Parallel Prog."},{"key":"R10","unstructured":"P. Feautrier, Scalable and modular scheduling, in Computer Systems: Architectures, Modeling and Simulation (SAMOS 2004), edited by A.D. Pimentel and Vassiliadis. Springer Verlag,Lect. Notes Comput. Sci.3133(2004) 433\u2013442."},{"key":"R11","doi-asserted-by":"crossref","unstructured":"D. Frigioni, A. Marchetti-Spaccamela, and U. Nanni, Incremental algorithms for the single-source shortest path problem, inProc. of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science, London, UK, Springer-Verlag (1994) 113\u2013124.","DOI":"10.1007\/3-540-58715-2_118"},{"key":"R12","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/54.329454","volume":"11","author":"Gajski","year":"1994","journal-title":"IEEE Des. Test Comput."},{"key":"R13","unstructured":"D.D. Gajski,Principle of Digital Design. Prentice Hall international edition (1997)."},{"key":"R14","doi-asserted-by":"crossref","unstructured":"C.H. Gebotys and M. Elmasry, Simultaneous scheduling and allocation for cost constrained optimal architectural synthesis, in28th Annual ACM\/IEEE Design Automation Conference (DAC'91), San Francisco, CA, USA (1991) 2\u20137.","DOI":"10.1145\/127601.127609"},{"key":"R15","unstructured":"S. Gupta, N. Dutt, R. Gupta, and A. Nicolau, SPARK: A high-level synthesis framework for applying parallelizing compiler transformations. inVLSID'03: Proc. of the 16th International Conference on VLSI Design (VLSI'03), IEEE Computer Society (2003)."},{"key":"R16","unstructured":"E. Horowitz and S. Sahni,Fundamentals of Computer Algorithms. Computer Science Press (1978)."},{"key":"R17","unstructured":"D. K\u00e4stner and M. Langenbach,Integer linear programming vs. graph-based methods in code generation. Technical Report A\/01\/98, Universit\u00e4t des Saarlandes, February 1998."},{"key":"R18","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/785411.785416","volume":"8","author":"Kuchcinski","year":"2003","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"R19","unstructured":"T. Ly, D. Knapp, R. Miller and D. MacMillen, Scheduling using behavioral templates, inDAC'95: Proc. of the 32nd ACM\/IEEE Conference on Design Automation, New York, NY, USA, ACM Press (1995) 101\u2013106."},{"key":"R20","unstructured":"E. Martin, O. Stentieys, H. Dubois, and J.L. Philippe, GAUT: An architectural synthesis tool for dedicated signal processors, inEURO-DAC'93, Hambourg, Germany, Sep. 1993, 20\u201324."},{"key":"R21","unstructured":"M. Minoux,Programmation math\u00e9matique : th\u00e9orie et algorithmes. Dunod, Paris (1983)."},{"key":"R22","doi-asserted-by":"crossref","unstructured":"G.L. Nemhauser and L.A. Wolsey,Integer and combinatorial optimization. John Wiley & sons, New York (1988).","DOI":"10.1002\/9781118627372"},{"key":"R23","unstructured":"CPLEX Optimization, Using the CPLEX callable library (1995)."},{"key":"R24","unstructured":"P.R. Panda and N.D. Dutt, 1995 high level synthesis design repository, inISSS '95: Proc. of the 8th international symposium on System synthesis. New York, NY, USA, ACM Press. (1995) 170\u2013174."},{"key":"R25","unstructured":"A.C. Parker, J.T. Pizarro and M. Mlinar. MAHA: a program for datapath synthesis, inDAC '86: Proc. of the 23rd ACM\/IEEE conference on Design automation. Piscataway, NJ, USA, IEEE Press (1986) 461\u2013466."},{"key":"R26","unstructured":"G. Ramalingam and T. Reps, An incremental algorithm for a generalization of the shortest-path problem.J. Algorithms, (1992)."},{"key":"R27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF03356742","volume":"24","author":"Rau","year":"1996","journal-title":"Int. J. Parallel Prog."},{"key":"R28","unstructured":"A. Schrijver,Theory of Linear and Integer Programming. John Wiley & Sons, Inc., New york (1986)."},{"key":"R29","doi-asserted-by":"crossref","first-page":"1185","DOI":"10.1109\/43.952736","volume":"20","author":"Verhaegh","year":"2001","journal-title":"IEEE Trans. Comput.-Aided Des."},{"key":"R30","doi-asserted-by":"crossref","unstructured":"J. \u0160ilc, Scheduling strategies in high-level synthesis.Informatica (Slovenia)18(1994).","DOI":"10.1007\/978-3-642-46955-8_118"},{"key":"R31","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/54.386007","volume":"12","author":"Walker","year":"1995","journal-title":"IEEE Des. Test"},{"key":"R32","unstructured":"D.B. West,Introduction to Graph Theory. Prentice Hall (1996)."},{"key":"R33","doi-asserted-by":"crossref","unstructured":"P. Yang and F. Catthoor, Pareto-optimization-based run-time task scheduling for embedded systems, inCODES+ISSS'03: Proc. of the 1st IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis (ISSS'03), ACM Press (2003) 120\u2013125.","DOI":"10.1145\/944645.944680"},{"key":"R34","unstructured":"L. Zhang,SILP: Scheduling and Allocating with Integer Linear Programming. Ph.D. thesis, Technische Fakult\u00e4t der Universit\u00e4t des Saarlandes (1996)."}],"container-title":["RAIRO - Operations Research"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ro.org\/10.1051\/ro:2007036\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,25]],"date-time":"2021-08-25T15:23:55Z","timestamp":1629905035000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ro.org\/10.1051\/ro:2007036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":34,"journal-issue":{"issue":"4"},"alternative-id":["ro0740"],"URL":"https:\/\/doi.org\/10.1051\/ro:2007036","relation":{},"ISSN":["0399-0559","1290-3868"],"issn-type":[{"value":"0399-0559","type":"print"},{"value":"1290-3868","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10]]}}}