{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:35:12Z","timestamp":1743053712882,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_57","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"701-715","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture"],"prefix":"10.1007","author":[{"given":"Juliette","family":"Mattioli","sequence":"first","affiliation":[]},{"given":"Nicolas","family":"Museux","sequence":"additional","affiliation":[]},{"given":"J.","family":"Jourdan","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Sav\u00e9ant","sequence":"additional","affiliation":[]},{"given":"Simon","family":"de Givry","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"57_CR1","unstructured":"C. Ancourt, D. Barthou, C. Guettier, F. Irigoin, B. Jeannet, J. Jourdan, and J. Mattioli. Automatic mapping of signal processing applications onto parallel computers. In Proc. ASAP 97, Zurich, july 1997."},{"key":"57_CR2","doi-asserted-by":"crossref","unstructured":"J.M. Anderson and M.S. Lam. Global optimizations for parallelism and locality on scalable parallel machines. In SIGPLAN Conf. on Programming Language Design and Implementation, pages 112\u2013125, Albuquerque, NM, June 1993. ACM Press.","DOI":"10.1145\/173262.155101"},{"key":"57_CR3","doi-asserted-by":"crossref","unstructured":"M. Barreteau, J. Mattioli, T. Granpierre, Y. Sorel C. Lavarenne and, P. Bonnot, P. Kajifasz, F. Irigoin, C. Ancourt, and B. Dion. Prompt: A mapping environnment for telecom applications on System-On-a-Chip. In Compilers, Architecture, and synthesis for embedded systems, pages 41\u201348, november 2000.","DOI":"10.1145\/354880.354887"},{"key":"57_CR4","doi-asserted-by":"crossref","unstructured":"A. J. Bernstein. Analysis of programs for parallel processing. IEEE Trans. on El. Computers, EC-15, 1966.","DOI":"10.1109\/PGEC.1966.264565"},{"key":"57_CR5","unstructured":"S. S. Bhattacharyya, S. Sriram, and E. A. Lee. Latency-Constrained Resynchronisation For Multiprocessor DSP Implementation. In Proceedings of ASAP\u201996, 1996."},{"key":"57_CR6","unstructured":"E. Bixby, K. Kennedy, and U. Kremer. Automatic Data Layout Using 0-1 Integer Programming. In Proc. of the International Conference on Parallel Architectures and Compilation Techniques, August 1994."},{"key":"57_CR7","unstructured":"Y. Caseau, F. Josset, F. Laburthe, B. Rottembourg, S. de Givry, J. Jourdan, J. Mattioli, and P. Sav\u00e9ant. Eclair at a glance. Tsi \/ 99-876, Thomson-CSF\/LCR, 1999."},{"key":"57_CR8","unstructured":"Yves Caseau, Fran\u00e7ois-Xavier Josset, and Fran\u00e7ois Laburthe. Claire: Combining Sets, Search and Rules to better express algorithms. In Proc. of ICLP\u201999, pages 245\u2013259, Las Cruces, New Mexico, USA, November 29, December 4 1999."},{"key":"57_CR9","unstructured":"Yves Caseau and Fran\u00e7ois Laburthe. Introduction to the Claire programming language-Version 2.4.0. Ecole Normale Sup\u00e9rieure-DMI, \nhttp:\/\/www.ens.fr\/~caseau\/claire.html\n\n, 1996\u20131999."},{"issue":"9","key":"57_CR10","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1016\/S0167-8191(00)00034-X","volume":"26","author":"A. Darte","year":"2000","unstructured":"A. Darte. On the complexity of loop fusion. Parallel Coomputing, 26(9):1175\u20131193, August 2000.","journal-title":"Parallel Coomputing"},{"key":"57_CR11","doi-asserted-by":"crossref","unstructured":"A. Darte, C. Diderich, M. Gengler, and F. Vivien. Scheduling the computations of a loop nest with respect to a given mapping. In Eighth International Workshop on Compilers for Parallel Computers, CPC2000, pages 135\u2013150, january 2000.","DOI":"10.1007\/3-540-44520-X_52"},{"key":"57_CR12","unstructured":"A. Demeure, B. Marchand, J. Jourdan, J. Mattioli, F. Irigoin, C. Ancourt, and all. Placement automatique optimis\u00e9 d\u2019applications de traitement du signal. Technical report, Rappport Final DRET 913060009, 1996."},{"key":"57_CR13","unstructured":"M. Dion. Alignement et distribution en parall\u00e9lisation automatique. Th\u00e8se informatique, ENS,LYON, 1996. 136 P."},{"issue":"6","key":"57_CR14","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BF01379404","volume":"21","author":"P. Feautrier","year":"1992","unstructured":"P. Feautrier. Some efficient solutions to the affine scheduling problem, part ii: mutidimensional time. International Journal of Parallel Programming, 21(6):389\u2013420, december 1992.","journal-title":"International Journal of Parallel Programming"},{"issue":"3","key":"57_CR15","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1142\/S0129626494000235","volume":"4","author":"P. Feautrier","year":"1994","unstructured":"P. Feautrier. Toward Automatic Distribution. Parallel Processing Letters, 4(3):233\u2013244, 1994.","journal-title":"Parallel Processing Letters"},{"key":"57_CR16","unstructured":"Ch. Guettier. Optimisation globale et placement d\u2019applications de traitement de signal sur architectures parall\u00e8les utilisant la programmation logique avec contraintes. PhD thesis, Ecole des Mines de Paris, 1997."},{"issue":"7","key":"57_CR17","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1109\/12.508320","volume":"45","author":"C. Han","year":"1996","unstructured":"C. Han, K.-J. Lin, and C.-J. Hou. Distance Constrained Scheduling and its Applications to Real-Time Systems. IEEE Transactions On Computers, 45(7):814\u2013825, Jul 1996.","journal-title":"IEEE Transactions On Computers"},{"issue":"6","key":"57_CR18","first-page":"2285","volume":"28","author":"W. Harvey","year":"1999","unstructured":"W. Harvey. Computing two-dimensional integer hulls. Society for Industrial and Applied Mathematics, 28(6):2285\u20132299, 1999.","journal-title":"Society for Industrial and Applied Mathematics"},{"key":"57_CR19","unstructured":"J. Jourdan. Concurrence et coop\u00e9ration de mod\u00e8les multiples dans les langages de contraintes CLP et CC: Vers une m\u00e9thodologie de programmation par mod\u00e9lisation. PhD thesis, Universit\u00e9 Denis Diderot, Paris VII, f\u00e9vrier 1995."},{"key":"57_CR20","unstructured":"J. Jourdan. Concurrent constraint multiple models in clp and cc languages: Toward a programming methodology by modelling. In Proc. INFORMS conference, New Orleans, USA, October 1995."},{"key":"57_CR21","unstructured":"U. Kremer. NP-completeness of Dynamic Remapping. In Workshop on Compilers for Parallel Computers, Delft, pages 135\u2013141, December 1993."},{"key":"57_CR22","doi-asserted-by":"crossref","unstructured":"E. A. Lee and D. G. Messerschmitt. Synchronous Dataflow. In Proceedings of the IEEE, September 1987.","DOI":"10.1109\/PROC.1987.13876"},{"key":"57_CR23","unstructured":"Lockheed Martin. GEDAE Users\u2019 Manual \/ GEDAE Training Course Lectures."},{"key":"57_CR24","unstructured":"B. Meister. Localit\u2019e des donn\u00e9es dans les op\u00e9rations stencil. In Treizi\u00e8me Rencontres Francophones du Parall\u00e8lisme des Architectures et des Syst\u00e9mes, Compilation et Parall\u00e9lisation automatique, pages 37\u201342, avril 2001."},{"key":"57_CR25","unstructured":"P. Murthy, S. S. Bhattacharyya, and E. A. Lee. Minimising Memory Requirements for Chain-Structured Synchronous Dataflow Programs. In Proceedings of the International Conference on Acoustics, Speecha nd Signal Processing, April 1994., 1996."},{"key":"57_CR26","unstructured":"N. Museux. De la sur-approximation des d\u00e9pendances. Technical Report E\/227\/CRI, ENSMP\/CRI, 2000."},{"key":"57_CR27","unstructured":"N. Museux, F. Irigoin, M. Barreteau, and J. Mattioli. Parall\u00e9lisation automatique d\u2019applications de traittement du signal sur machines parall\u00e8les. In Treizi\u00e8me Rencontres Francophones du Parall\u00e9lisme des Architectures et des Syst\u00e8mes, Compilation et Parall\u00e9lisation automatique, pages 55\u201360, avril 2001."},{"key":"57_CR28","unstructured":"P. Saveant. Constraint reduction at the type level. In Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, Singapore, 2000."},{"key":"57_CR29","unstructured":"L. Sch\u00e4fers and C. Scheidler. trapper: A graphical programming environment for embedded mimd computers. In IOS Press, editor, 1993 World Transputer Congress, Transputer Applications and Systems\u201993, pages 1023\u20131034, 1993."},{"key":"57_CR30","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1016\/0167-8655(94)90157-0","volume":"15","author":"M. Schmitt","year":"1994","unstructured":"M. Schmitt and J. Mattioli. Strong and weak convex hulls in non-Euclidean metric: Theory and Application. Pattern recognition letters, 15:943\u2013947, 1994.","journal-title":"Pattern recognition letters"},{"issue":"6","key":"57_CR31","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1109\/71.242160","volume":"4","author":"G. C. Sih","year":"1993","unstructured":"Gilbert C. Sih and Edward A. Lee. Declustering: A New Multiprocessor Scheduling Technique. IEEE Transaction on Parallel and Distributed Systems, 4(6):625\u2013637, June 1993.","journal-title":"IEEE Transaction on Parallel and Distributed Systems"},{"key":"57_CR32","unstructured":"Y. Sorel and C. Lavarenne. \nhttp:\/\/www-rocq.inria.fr\/Syndex\/pub.htm\n\n."},{"key":"57_CR33","doi-asserted-by":"crossref","unstructured":"J. Subhlok and G. Vondran. Optimal latency-troughput tradeoffs for data parallel pipelines. In Proc. SPAA\u201996, Padua, Italy, 1996.","DOI":"10.1145\/237502.237508"},{"key":"57_CR34","unstructured":"E. A. Lee team. \nhttp:\/\/ptolemy.eecs.berkeley.edu\/papers\n\n."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:10:28Z","timestamp":1585602628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}