{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:15Z","timestamp":1725484575617},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433224"},{"type":"electronic","value":"9783540458746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45874-3_7","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T02:16:22Z","timestamp":1180491382000},"page":"112-134","source":"Crossref","is-referenced-by-count":6,"title":["Structured Scheduling of Recurrence Equations: Theory and Practice"],"prefix":"10.1007","author":[{"given":"Patrice","family":"Quinton","sequence":"first","affiliation":[]},{"given":"Tanguy","family":"Risset","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1145\/321406.321418","volume":"14","author":"R. Karp","year":"1967","unstructured":"Karp, R., Miller, R., Winograd, S.: The organization of computations for uniform recurrence equations. Journal of the ACM 14 (1967) 563\u2013590","journal-title":"Journal of the ACM"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/360827.360844","volume":"17","author":"L. Lamport","year":"1974","unstructured":"Lamport, L.: The Parallel Execution of DO Loops. Communications of The ACM 17 (1974) 83\u201393","journal-title":"Communications of The ACM"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/BF01407835","volume":"21","author":"P. Feautrier","year":"1992","unstructured":"Feautrier, P.: Some efficient solutions to the affine scheduling problem, part I, one dimensional time. Int. J. of Parallel Programming 21 (1992) 313\u2013348","journal-title":"Int. J. of Parallel Programming"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1109\/71.97902","volume":"2","author":"M. Wolf","year":"1991","unstructured":"Wolf, M., Lam, M.: Loop transformation theory and an algorithm to maximize parallelism. IEEE Transactions on Parallel and Distributed Systems 2 (1991) 452\u2013471","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1142\/S0129626491000021","volume":"1","author":"A. Darte","year":"1991","unstructured":"Darte, A., Khachiyan, L., Robert, Y.: Linear scheduling is nearly optimal. Parallel Processing Letters 1 (1991) 73\u201381","journal-title":"Parallel Processing Letters"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.1982.1653825","volume":"15","author":"H. Kung","year":"1982","unstructured":"Kung, H.: Why systolic architectures? Computer 15 (1982) 37\u201346","journal-title":"Computer"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Lee, P., Kedem, Z.: Mapping nested loop algorithms into multidimensional systolic arrays. IEEE Transaction On Parallel and Distributed System 1 (90) 64\u201376","DOI":"10.1109\/71.80125"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1109\/TC.1982.1675929","volume":"31","author":"D. Moldovan","year":"1982","unstructured":"Moldovan, D.: On the analysis and synthesis of VLSI systolic arrays. IEEE Transactions on Computers 31 (1982) 1121\u20131126","journal-title":"IEEE Transactions on Computers"},{"key":"7_CR9","unstructured":"Mauras, C., Quinton, P., Rajopadhye, S., Saouter, Y.: Scheduling affine parameterized recurrences by means of variable dependent timing functions. In Kung, S.E.E. Swartzlander, J., Fortes, J., Przytula, K., eds.: Application Specific Array Processors, IEEE Computer Society Press (1990) 100\u2013110"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1137\/0205029","volume":"3","author":"E. Ashcroft","year":"1976","unstructured":"Ashcroft, E., Wadge, W.: Lucid, a formal system for writing and proving programs. SIAM j. Comp. 3 (1976) 336\u2013354","journal-title":"SIAM j. Comp."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Caspi, P., Halbwachs, N., Pilaud, D., Plaice, J.: Lustre: a declarative language for programming synchronous systems. In: 14th Symposium on Principles of Programming Languages, ACM, Munich (1987)","DOI":"10.1145\/41625.41641"},{"key":"7_CR12","unstructured":"Le Guernic, P., Benveniste, A., Bournai, P., Gautier, T.: SIGNAL: A data flow oriented language for signal processing. In: IEEE Workshop on VLSI 1984. (1984)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Chen, M., Choo, Y., Li, J. In: Crystal: Theory and Pragmatics of Generating Efficient Parallel Code. ACM Press (1991) Chapter 7","DOI":"10.1145\/107214.129259"},{"key":"7_CR14","series-title":"Technical report","volume-title":"PEI: a theoretical framework for data-parallel programming","author":"G. Perrin","year":"1994","unstructured":"Perrin, G., Genaud, S., Violard, E.: PEI: a theoretical framework for data-parallel programming. Technical report, ICPS, Strasbourg (1994)"},{"key":"7_CR15","unstructured":"Mauras, C.: Alpha: un langage \u00e9quationnel pour la conception et la programmation d\u2019architectures parall\u00e8les synchrones. Th\u00e8se de doctorat, Ifsic, Universit\u00e9 de Rennes 1 (1989)"},{"key":"7_CR16","series-title":"Technical Report","volume-title":"Structured scheduling of recurrence equations","author":"F. Dupont De Dinechin","year":"1997","unstructured":"Dupont De Dinechin, F., Robert, S., Risset, T.: Structured scheduling of recurrence equations. Technical Report 1140, Irisa, Rennes, France (1997)"},{"key":"7_CR17","series-title":"Technical Report","volume-title":"The Alpha language","author":"D. Wilde","year":"1994","unstructured":"Wilde, D.: The Alpha language. Technical Report 827, Irisa, Rennes, France (1994)"},{"key":"7_CR18","unstructured":"Saouter, Y.: A propos de syst\u00e8mes d\u2019\u00e9quations r\u00e9currentes. Th\u00e8se de doctorat, Ifsic, Universit\u00e9 de Rennes 1 (1992)"},{"key":"7_CR19","unstructured":"Darte, A.: Techniques de parall\u00e9lisation automatique de nids de boucles. Th\u00e8se de doctorat, LIP ENS-Lyon (1993)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Feautrier, P.: Some efficient solution to the affine scheduling problem, part II, multidimensional time. Int. J. of Parallel Programming 21 (1992)","DOI":"10.1007\/BF01379404"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Chaudhary, V., Xu, C.Z., Roy, S., Ju, J., Sinha, V., Luo, L.: Design and evaluation of an environment ape for automatic parallelization of programs. In: Int. Symp. on Parallel Architectures, Algorithms, and Networks. (1996) 77\u201383","DOI":"10.1109\/ISPAN.1996.508964"},{"key":"7_CR22","unstructured":"Irigoin, F., Jouvelot, P., R. Triolet: Overview of the PIPS project. In: Procs of the Int. Workshop on Compiler for Parallel Computers, Paris. (1990) 199\u2013212"},{"key":"7_CR23","unstructured":"Raji-Werth, M., Feautrier, P.: On parallel program generation for massively parallel architectures. In Durand, M., Dabaghi, F.E., eds.: High Performance Computing II, North-Holland (1991)"},{"key":"7_CR24","unstructured":"Griebl, M., Lengauer, C.: The loop parallelizer LooPo. In Gerndt, M., ed.: Proc. Sixth Workshop on Compilers for Parallel Computers. Volume 21 of Konferenzen des Forschungszentrums J\u00fclich. Forschungszentrum J\u00fclich (1996) 311\u2013320"},{"key":"7_CR25","unstructured":"Burleson, W.: Using regular array methods for DSP module synthesis. In: 27th Hawaii Int. Conf. System Science Vol 1: Architecture. (1994) 58\u201367"},{"key":"7_CR26","volume-title":"Programmable Digital Signal Processors: Architecture, Programming, and Applications","author":"F. Catthoor","year":"2000","unstructured":"Catthoor, F., Danckaert, K., Kulkarni, C., Omnes, T.: Data transfer and storage architecture issues and exploration in multimedia processors. In: Programmable Digital Signal Processors: Architecture, Programming, and Applications. Marcel Dekker, Inc, New York (2000)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Kienhuis, B., Rijpkema, E., Deprettere, E.: Compaan: Deriving process networks from matlab for embedded signal processing architectures. In: 8th International Workshop on Hardware\/Software Codesign (CODES\u20192000). (2000)","DOI":"10.1145\/334012.334015"},{"key":"7_CR28","unstructured":"Dupont de Dinechin, F., Quinton, P., Risset, S.R.T.: First steps in alpha. Publication Interne 1244, Irisa (1999)"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"De Dinechin, F.D., Quinton, P., Risset, T.: Structuration of the Alpha language. In Giloi, W., Jahnichen, S., Shriver, B., eds.: Massively Parallel Programming Models, IEEE Computer Society Press (1995) 18\u201324","DOI":"10.1109\/PMMPC.1995.504337"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Dupont De Dinechin, F.: Libraries of schedule-free operators in Alpha. In: Application Specific Array Processor. (1997)","DOI":"10.1109\/ASAP.1997.606830"},{"key":"7_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-48311-X_53","volume-title":"Scheduling Structured Systems","author":"J. Crop","year":"1999","unstructured":"Crop, J., Wilde, D.: Scheduling Structured Systems. In: Fifth International Europar Conference. LNCS, Toulouse, France, Springer Verlag (1999) 409\u2013412"},{"key":"7_CR32","series-title":"Technical Report","volume-title":"Scheduling uniform loop nests","author":"A. Darte","year":"1992","unstructured":"Darte, A., Robert, Y.: Scheduling uniform loop nests. Technical Report 92-10, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, Ecole Normale Sup\u00e9rieure de Lyon, France (1992)"},{"key":"7_CR33","first-page":"243","volume":"22","author":"P. Feautrier","year":"1988","unstructured":"Feautrier, P.: Parametric integer programming. RAIRO Recherche Op\u00e9rationnelle 22 (1988) 243\u2013268","journal-title":"RAIRO Recherche Op\u00e9rationnelle"},{"key":"7_CR34","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley and Sons, New York (1986)"},{"key":"7_CR35","unstructured":"Darte, A., Vivien, F.: Revisiting the decomposition of Karp, Miller and Winograd. In: Application Specific Array Processor. (1997) 13\u201325"}],"container-title":["Lecture Notes in Computer Science","Embedded Processor Design Challenges"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45874-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T13:07:07Z","timestamp":1587560827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45874-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433224","9783540458746"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-45874-3_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}