{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T06:53:13Z","timestamp":1778568793806,"version":"3.51.4"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1995,4,1]],"date-time":"1995-04-01T00:00:00Z","timestamp":796694400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1995,4]]},"DOI":"10.1007\/bf02577789","type":"journal-article","created":{"date-parts":[[2007,3,22]],"date-time":"2007-03-22T23:36:58Z","timestamp":1174606618000},"page":"191-219","source":"Crossref","is-referenced-by-count":23,"title":["Automatic parallelization ofwhile-loops using speculative execution"],"prefix":"10.1007","volume":"23","author":[{"given":"Jean-Fran\u00e7ois","family":"Collard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02577789_CR1","unstructured":"U. Banerjee, Unimodular transformations of double loops. Technical Report CRSD Rpt. No. 1036, University of Illinois (August 1990)."},{"issue":"4","key":"BF02577789_CR2","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1109\/71.97902","volume":"2","author":"M. S. Lam","year":"1991","unstructured":"M. S. Lam and M. E. Wolf, A loop transformation theory and an algorithm to maximize parallelism,IEEE Trans. on Parallel and Distributed Systems 2(4):452\u2013471 (October 1991).","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"key":"BF02577789_CR3","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0167-8191(90)90055-E","volume":"16","author":"M. L. Dowling","year":"1990","unstructured":"M. L. Dowling, Optimal code parallelization using unimodular transformations,Parallel Computing 16:157\u2013171 (1990).","journal-title":"Parallel Computing"},{"key":"BF02577789_CR4","doi-asserted-by":"crossref","unstructured":"B. Lisper, Detecting static algorithms by partial evaluation, inProc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, pp. 31\u201342 (June 1991).","DOI":"10.1145\/115866.115870"},{"key":"BF02577789_CR5","doi-asserted-by":"crossref","unstructured":"C. Langauer, Loop parallelization in the polytope model, in E. Best (ed.),CONCUR '93 LNCS, Springer-Verlag,715, pp. 398\u2013416 (1993).","DOI":"10.1007\/3-540-57208-2_28"},{"key":"BF02577789_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0167-8191(89)90028-8","volume":"11","author":"J. P. Bonomo","year":"1989","unstructured":"J. P. Bonomo and W. R. Dyksen, Pipelined iterative methods for shared memory machines,Parallel Computing 11:187\u2013199 (1989).","journal-title":"Parallel Computing"},{"key":"BF02577789_CR7","first-page":"1","volume":"II","author":"Y. Wu","year":"1990","unstructured":"Y. Wu and T. G. Lewis, Parallelizing while loops, inProc. Intl. Conf. on Parallel Processing II:1\u20138 (1990).","journal-title":"Proc. Intl. Conf. on Parallel Processing"},{"key":"BF02577789_CR8","unstructured":"M. J. Wolfe,Optimizing Supercompilers for Supercomputers, Pitman and The MIT Press (1989)."},{"key":"BF02577789_CR9","doi-asserted-by":"crossref","unstructured":"A. K. Uht, Requirements for optimal execution of loops with tests, inACM Int. Conf. on Supercomputing, St. Malo, France, pp. 230\u2013237 (July 1988).","DOI":"10.1145\/55364.55387"},{"key":"BF02577789_CR10","unstructured":"M. Griebl and Ch. Lengauer, On the space-time mapping of while-loops,Parallel Processing Letters (1994). To appear. Also available as Report MIP-9304, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t, Passau, Germany."},{"key":"BF02577789_CR11","doi-asserted-by":"crossref","unstructured":"M. Griebl and C. Lengauer, On scanning space-time mapped while loops, in B. Buchberger, ed.,Parallel Processing: CONPAR 94-VAPP VI, Lecture Notes in Computer Science 854:677\u2013688, Linz, Austria (1994). Springer-Verlag.","DOI":"10.1007\/3-540-58430-7_59"},{"issue":"5","key":"BF02577789_CR12","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/BF01407835","volume":"21","author":"P. Feautrier","year":"1992","unstructured":"P. Feautrier, Some efficient solutions to the affine scheduling problem, part I, on dimensional time,Int. J. of Parallel Programming 21(5):313\u2013348 (October 1992).","journal-title":"Int. J. of Parallel Programming"},{"key":"BF02577789_CR13","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01205181","volume":"7","author":"B. R. Rau","year":"1993","unstructured":"B. R. Rau and J. A. Fisher, Instruction-level parallel processing: History, overview and perspective,Journal of Supercomputing,7:9\u201350 (1993).","journal-title":"Journal of Supercomputing"},{"key":"BF02577789_CR14","unstructured":"P. M. Kogge,Architecture of Symbolic Computers, McGraw-Hill (1991)."},{"key":"BF02577789_CR15","series-title":"Series in Parallel Computing","volume-title":"Implementations of Distributed PROLOG","year":"1992","unstructured":"W. Richard Stark (ed.),Implementations of Distributed PROLOG, Series in Parallel Computing, Wiley, Chichester (1992)."},{"key":"BF02577789_CR16","unstructured":"R. H. Halstead,Design Requirements for Concurrent Lisp Machines, McGraw-Hill, pp. 69\u2013105 (1989)."},{"issue":"2\/3","key":"BF02577789_CR17","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF00127840","volume":"5","author":"P. P. Tirumalai","year":"1991","unstructured":"P. P. Tirumalai, M. Lee, and M. S. Schlansker, Parallelization of while loops on pipelined architectures,Journal of Supercomputing 5(2\/3):119\u2013136 (1991).","journal-title":"Journal of Supercomputing"},{"key":"BF02577789_CR18","doi-asserted-by":"crossref","unstructured":"M. D. Smith, M. A. Horowitz, and M. S. Lam, Efficient superscalar performance through boosting,Proc. of the Fifth Int'l. Conf. on Architectural Support for Programming Languages and Operating Systems, pp. 248\u2013259 (October 1992).","DOI":"10.1145\/143365.143534"},{"key":"BF02577789_CR19","doi-asserted-by":"crossref","unstructured":"M. S. Lam and R. P. Wilson, Limits of control flow on parallelism, inProc. of the 19th Ann. Int'l. Symp. on Computer Architecture, pp. 46\u201357 (May 1992).","DOI":"10.1145\/139669.139702"},{"issue":"1","key":"BF02577789_CR20","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF01379315","volume":"21","author":"B. Ramkumar","year":"1992","unstructured":"B. Ramkumar and L. V. Kal\u00e9, A join algorithm for combining AND parallel solutions in AND\/OR parallel systems,Int. J of Parallel Programming 21(1):67\u2013107 (1992).","journal-title":"Int. J of Parallel Programming"},{"key":"BF02577789_CR21","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"A. Schrijver,Theory of Linear and Integer Programming, Wiley, New York (1986)."},{"key":"BF02577789_CR22","unstructured":"C. Ancourt, Code generation for data movements in a hierarchical memory machine,Int'l. Workshop on Compilers for Parallel Computers, MASI, Paris, pp. 91\u2013102 (1990)."},{"key":"BF02577789_CR23","doi-asserted-by":"crossref","unstructured":"M. A. Ertl and A. Krall, Delayed exceptions\u2014speculative execution of trapping instructions, in P.A. Fritzson (ed.),Int. Conf. on Compiler Construction, Springer-Verlag, Edinburgh, U.K.,LNCS 786:158\u2013171 (April 1994).","DOI":"10.1007\/3-540-57877-3_11"},{"issue":"1","key":"BF02577789_CR24","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"P. Feautrier, Dataflow analysis of scalar and array references,Int. Journal of Parallel Programming 20(1):23\u201353 (February 1991).","journal-title":"Int. Journal of Parallel Programming"},{"key":"BF02577789_CR25","doi-asserted-by":"crossref","unstructured":"C. Ancourt and F. Irigoin, Scanning polyhedra with DO loops, inProc. ACM SIGPLAN '91, pp. 39\u201350 (June 1991).","DOI":"10.1145\/109626.109631"},{"key":"BF02577789_CR26","doi-asserted-by":"crossref","unstructured":"J.-F. Collard, P. Feautrier, and T. Risset, Construction of DO loops from systems of affine constraints,Parallel Processing Letters (1995).","DOI":"10.1142\/S0129626495000394"},{"key":"BF02577789_CR27","doi-asserted-by":"crossref","unstructured":"P. Feautrier, Some efficient solution to the affine scheduling problem, part II, multidimensional time,Int. J. of Parallel Programming 21(6) (December 1992).","DOI":"10.1007\/BF01379404"},{"key":"BF02577789_CR28","doi-asserted-by":"crossref","unstructured":"J.-F. Collard, Space-time transformation of while-loops using speculative execution, inProc. of the 1994 Scalable High Performance Computing Conf., IEEE Knoxville, Tenn., pp. 429\u2013436 (May 1994).","DOI":"10.1109\/SHPCC.1994.296675"},{"key":"BF02577789_CR29","unstructured":"P. Feautrier and M. Raji-Werth, Systematic construction of programs for Distributed Memory computers, Technical Report 91-40, MASI, Institut Blaise Pascal (June 1991)."},{"key":"BF02577789_CR30","unstructured":"J.-F. Collard and P. Feautrier, Automatic generation of data parallel code, in H.J. Sips (ed.),Proc. of the Fourth International Workshop on Compilers for Parallel Computers, Delft, The Netherlands, pp. 321\u2013332 (December 1993)."},{"key":"BF02577789_CR31","unstructured":"P. Gachet, Ch. Mauras, P. Quinton, and Y. Saouter, A. language for the design of regular parallel algorithms, in F. Andre and J.P. Verjus (eds.),First European Workshop on Hypercube and Distributed Computers, Rennes, France, pp 189\u2013202, North-Holland (October 1989)."},{"key":"BF02577789_CR32","first-page":"243","volume":"22","author":"P. Feautrier","year":"1988","unstructured":"P. Feautrier, Parametric integer programming,RAIRO Recherche Op\u00e9rationelle 22:243\u2013268 (September 1988).","journal-title":"RAIRO Recherche Op\u00e9rationelle"},{"key":"BF02577789_CR33","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1007\/3-540-55895-0_467","volume":"634","author":"M. Barnett","year":"1992","unstructured":"M. Barnett and Ch. Lengauer, Unimodularity considered non-essential, inProc. CONPAR 92, VAPP V, LNCS, Lyon634:659\u2013664 (September 1992).","journal-title":"Proc. CONPAR 92, VAPP V, LNCS"},{"key":"BF02577789_CR34","doi-asserted-by":"crossref","unstructured":"J. Xue, An algorithm to automate non-unimodular transformations of loop nests, inThe 5th IEEE Symp. on Parallel and Distributed Processing, IEEE Computer Society Press, pp. 512\u2013519 (1993).","DOI":"10.1109\/SPDP.1993.395490"},{"key":"BF02577789_CR35","unstructured":"W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery,Numerical Recipes in FORTRAN-The Art of Scientific Computing (2nd Ed.), Cambridge U. Press (1992)."},{"key":"BF02577789_CR36","unstructured":"Cray Research, Cray Fortran F77 Parallel Processing Guide. Doc. #SG-3074 5.0."},{"key":"BF02577789_CR37","doi-asserted-by":"crossref","unstructured":"X. Redon and P. Feautrier, Scheduling reductions, inSupercomputing '94, Manchester, England (July 1994). ACM.","DOI":"10.1145\/181181.181319"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02577789.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02577789\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02577789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T05:17:19Z","timestamp":1736918239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02577789"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,4]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,4]]}},"alternative-id":["BF02577789"],"URL":"https:\/\/doi.org\/10.1007\/bf02577789","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,4]]}}}