{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:40:10Z","timestamp":1745944810129,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":63,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358869"},{"type":"electronic","value":"9783642358876"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35887-6_12","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:10:13Z","timestamp":1357297813000},"page":"218-236","source":"Crossref","is-referenced-by-count":17,"title":["The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Hammond","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Aldinucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Cesarini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Danelutto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Horacio","family":"Gonz\u00e1lez-V\u00e9lez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Kilpatrick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Keller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Rossbory","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilad","family":"Shainer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Adve, S., Adve, V., Agha, G., Frank, M., et al.: Parallel@Illinois: Parallel Computing Research at Illinois \u2014 The UPCRC Agenda (November 2008), http:\/\/www.upcrc.illinois.edu\/documents\/UPCRC_Whitepaper.pdf"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Aldinucci, M., Campa, S., Danelutto, M., Vanneschi, M., Dazzi, P., Laforenza, D., Tonellotto, N., Kilpatrick, P.: Behavioural skeletons in GCM: autonomic management of grid components. In: Euromicro PDP 2008, Toulouse, pp. 54\u201363. IEEE (February 2008)","DOI":"10.1109\/PDP.2008.46"},{"issue":"4","key":"12_CR3","first-page":"325","volume":"8","author":"M. Aldinucci","year":"2007","unstructured":"Aldinucci, M., Danelutto, M., Dazzi, P.: MUSKEL: an expandable skeleton environment. Scalable Computing: Practice and Experience\u00a08(4), 325\u2013341 (2007)","journal-title":"Scalable Computing: Practice and Experience"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Autonomic management of non-functional concerns in distributed and parallel application programming. In: IPDPS 2009, Rome, pp. 1\u201312. IEEE (May 2009)","DOI":"10.1109\/IPDPS.2009.5161034"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Autonomic management of multiple non-functional concerns in behavioural skeletons. In: Desprez, F., Getov, V., Priol, T., Yahyapour, R. (eds.) Grids, P2P and Services Computing, pp. 89\u2013103. Springer (2010)","DOI":"10.1007\/978-1-4419-6794-7_8"},{"key":"12_CR6","unstructured":"Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan Kaufmann Publishers (2001) ISBN 1-55860-286-0"},{"issue":"10","key":"12_CR7","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/1562764.1562783","volume":"52","author":"K. Asanovic","year":"2009","unstructured":"Asanovic, K., Bodik, R., Demmel, J., Keaveny, T., Keutzer, K., Kubiatowicz, J., Morgan, N., Patterson, D., Sen, K., Wawrzynek, J., Wessel, D., Yelick, K.: A view of the parallel computing landscape. Communications of the ACM\u00a052(10), 56\u201367 (2009)","journal-title":"Communications of the ACM"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/197405.197406","volume":"26","author":"D. Bacon","year":"1994","unstructured":"Bacon, D., Graham, S., Sharp, O.: Compiler Transformations for High-Performance Computing. ACM Computing Surveys\u00a026(4), 345\u2013420 (1994)","journal-title":"ACM Computing Surveys"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Bastoul, C.: Code generation in the polyhedral model is easier than you think. In: PACT\u201913 IEEE International Conference on Parallel Architecture and Compilation Techniques, Juan-les-Pins, France, pp. 7\u201316 (September 2004)","DOI":"10.1109\/PACT.2004.1342537"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-74130-5_2","volume-title":"Implementation and Application of Functional Languages","author":"R. Bernecky","year":"2007","unstructured":"Bernecky, R., Herhut, S., Scholz, S.-B., Trojahner, K., Grelck, C., Shafarenko, A.: Index Vector Elimination \u2013 Making Index Vectors Affordable. In: Horv\u00e1th, Z., Zs\u00f3k, V., Butterfield, A. (eds.) IFL 2006. LNCS, vol.\u00a04449, pp. 19\u201336. Springer, Heidelberg (2007)"},{"key":"12_CR11","volume-title":"Scheduling Divisible Loads in Parallel and Distributed Systems","author":"V. Bharadwaj","year":"1996","unstructured":"Bharadwaj, V., Ghose, D., Mani, V., Robertazzi, T.G.: Scheduling Divisible Loads in Parallel and Distributed Systems. IEEE, Los Alamitos (1996)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/1375581.1375595","volume-title":"PLDI 2008: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"U. Bondhugula","year":"2008","unstructured":"Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.: A practical automatic polyhedral parallelizer and locality optimizer. In: PLDI 2008: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 101\u2013113. ACM, New York (2008)"},{"issue":"1","key":"12_CR13","first-page":"2095","volume":"1","author":"D. Buono","year":"2010","unstructured":"Buono, D., Danelutto, M., Lametti, S.: Map, reduce and mapreduce, the skeleton way. Procedia CS\u00a01(1), 2095\u20132103 (2010)","journal-title":"Procedia CS"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1177\/109434209901300306","volume":"13","author":"H. Casanova","year":"1999","unstructured":"Casanova, H., Kim, M.-H., Plank, J.S., Dongarra, J.: Adaptive scheduling for task farming with grid middleware. Int. J. High Perform. Comput. Appl.\u00a013(3), 231\u2013240 (1999)","journal-title":"Int. J. High Perform. Comput. Appl."},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/32.4634","volume":"14","author":"T. Casavant","year":"1988","unstructured":"Casavant, T., Kuhl, J.: A taxonomy of scheduling in general-purpose distributed computing systems. IEEE Trans. Softw. Eng.\u00a014(2), 141\u2013154 (1988)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"23","key":"12_CR16","first-page":"281","volume":"19","author":"C.-T. Chu","year":"2007","unstructured":"Chu, C.-T., Kim, S.K., Lin, Y.-A., Ng, A.Y.: Map-reduce for machine learning on multicore. Architecture\u00a019(23), 281 (2007)","journal-title":"Architecture"},{"key":"12_CR17","series-title":"Research Monographs in Parallel and Distributed Computing","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"M. Cole","year":"1989","unstructured":"Cole, M.: Algorithmic Skeletons: Structured Management of Parallel Computation. Research Monographs in Parallel and Distributed Computing. Pitman\/MIT Press, London (1989)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Danelutto, M.: On Skeletons and Design Patterns. In: Joubert, G.H., Murli, A., Peters, F.J., Vanneschi, M. (eds.) PARALLEL COMPUTING Advances and Current Issues Proceedings of the International Conference ParCo 2001. Imperial College Press (2002) ISBN: 1860943152","DOI":"10.1142\/9781860949630_0052"},{"issue":"10-11","key":"12_CR19","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/j.sysarc.2003.06.001","volume":"49","author":"M. Danelutto","year":"2003","unstructured":"Danelutto, M.: HPC the easy way: new technologies for high performance application development and deployment. Journal of Systems Architecture\u00a049(10-11), 399\u2013419 (2003)","journal-title":"Journal of Systems Architecture"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/MS.2011.1","volume":"28","author":"D. Dig","year":"2011","unstructured":"Dig, D.: A refactoring approach to parallelism. IEEE Softw.\u00a028, 17\u201322 (2011)","journal-title":"IEEE Softw."},{"key":"12_CR21","series-title":"Innovative Technology Series","volume-title":"Task Scheduling in Parallel and Distributed Systems","author":"H. El-Rewini","year":"1994","unstructured":"El-Rewini, H., Lewis, T.G., Ali, H.H.: Task Scheduling in Parallel and Distributed Systems. Innovative Technology Series. Prentice Hall, New Jersey (1994)"},{"issue":"5","key":"12_CR22","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: I. one-dimensional time. Int. J. Parallel Program.\u00a021(5), 313\u2013348 (1992)","journal-title":"Int. J. Parallel Program."},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-61736-1_44","volume-title":"The Data Parallel Programming Model","author":"P. Feautrier","year":"1996","unstructured":"Feautrier, P.: Automatic Parallelization in the Polytope Model. In: Perrin, G.-R., Darte, A. (eds.) The Data Parallel Programming Model. LNCS, vol.\u00a01132, pp. 79\u2013103. Springer, Heidelberg (1996)"},{"key":"12_CR24","unstructured":"Eclipse Foundation: Eclipse - an Open Development Platform (2009), http:\/\/www.eclipse.org"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Abstraction and Reuse of Object-Oriented Design. In: Nierstrasz, O.M. (ed.) ECOOP 1993. LNCS, vol.\u00a0707, pp. 406\u2013431. Springer, Heidelberg (1993)","DOI":"10.1007\/3-540-47910-4_21"},{"key":"12_CR26","series-title":"Addison-Wesley Professional Computing Series","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, Upper Saddle River (1995)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Geppert, L., Perry, T.S.: Transmeta\u2019s magic show (microprocessor chips). IEEE Spectrum (2000)","DOI":"10.1109\/6.842131"},{"key":"12_CR28","unstructured":"Gillick, D., Faria, A., DeNero, J.: Mapreduce: Distributed computing for machine learning, Berkley (December 18, 2006)"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-V\u00e9lez, H., Cole, M.: An adaptive parallel pipeline pattern for grids. In: IPDPS 2008, Miami, USA, pp. 1\u201311. IEEE (April 2008)","DOI":"10.1109\/IPDPS.2008.4536264"},{"issue":"4","key":"12_CR30","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s10951-009-0138-4","volume":"13","author":"H. Gonz\u00e1lez-V\u00e9lez","year":"2010","unstructured":"Gonz\u00e1lez-V\u00e9lez, H., Cole, M.: Adaptive statistical scheduling of divisible workloads in heterogeneous systems. Journal of Scheduling\u00a013(4), 427\u2013441 (2010)","journal-title":"Journal of Scheduling"},{"issue":"15","key":"12_CR31","doi-asserted-by":"crossref","first-page":"2073","DOI":"10.1002\/cpe.1549","volume":"22","author":"H. Gonz\u00e1lez-V\u00e9lez","year":"2010","unstructured":"Gonz\u00e1lez-V\u00e9lez, H., Cole, M.: Adaptive structured parallelism for distributed heterogeneous architectures: A methodological approach with pipelines and farms. Concurrency and Computation\u2013Practice & Experience\u00a022(15), 2073\u20132094 (2010)","journal-title":"Concurrency and Computation\u2013Practice & Experience"},{"issue":"12","key":"12_CR32","doi-asserted-by":"publisher","first-page":"1135","DOI":"10.1002\/spe.1026","volume":"40","author":"H. Gonz\u00e1lez-V\u00e9lez","year":"2010","unstructured":"Gonz\u00e1lez-V\u00e9lez, H., Leyton, M.: A survey of algorithmic skeleton frameworks: High-level structured parallel programming enablers. Software\u2013Practice & Experience\u00a040(12), 1135\u20131160 (2010)","journal-title":"Software\u2013Practice & Experience"},{"issue":"3","key":"12_CR33","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1017\/S0956796805005538","volume":"15","author":"C. Grelck","year":"2005","unstructured":"Grelck, C.: Shared memory multiprocessor support for functional array processing in SAC. Journal of Functional Programming\u00a015(3), 353\u2013401 (2005)","journal-title":"Journal of Functional Programming"},{"key":"12_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/11964681_11","volume-title":"Implementation and Application of Functional Languages","author":"C. Grelck","year":"2006","unstructured":"Grelck, C., Hinckfu\u00df, K., Scholz, S.-B.: With-Loop Fusion for Data Locality and Parallelism. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol.\u00a04015, pp. 178\u2013195. Springer, Heidelberg (2006)"},{"issue":"1","key":"12_CR35","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1142\/S012962640800320X","volume":"18","author":"C. Grelck","year":"2008","unstructured":"Grelck, C., Kuthe, S., Scholz, S.-B.: A Hybrid Shared Memory Execution Model for a Data Parallel Language with I\/O. Parallel Processing Letters\u00a018(1), 23\u201337 (2008)","journal-title":"Parallel Processing Letters"},{"key":"12_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/11964681_13","volume-title":"Implementation and Application of Functional Languages","author":"C. Grelck","year":"2006","unstructured":"Grelck, C., Scholz, S.-B., Shafarenko, A.: A Binding Scope Analysis for Generic Programs on Arrays. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol.\u00a04015, pp. 212\u2013230. Springer, Heidelberg (2006)"},{"key":"12_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-540-27861-0_8","volume-title":"Implementation of Functional Languages","author":"C. Grelck","year":"2004","unstructured":"Grelck, C., Scholz, S.-B., Trojahner, K.: With-Loop Scalarization \u2013 Merging Nested Array Operations. In: Trinder, P., Michaelson, G., Pe\u00f1a, R. (eds.) IFL 2003. LNCS, vol.\u00a03145, pp. 118\u2013134. Springer, Heidelberg (2004)"},{"key":"12_CR38","unstructured":"Griebl, M.: Automatic Parallelization of Loop Programs for Distributed Memory Architectures. University of Passau (2004) (Habilitation thesis)"},{"key":"12_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-540-85373-2_15","volume-title":"Implementation and Application of Functional Languages","author":"S. Herhut","year":"2008","unstructured":"Herhut, S., Scholz, S.-B., Bernecky, R., Grelck, C., Trojahner, K.: From Contracts Towards Dependent Types: Proofs by Partial Evaluation. In: Chitil, O., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) IFL 2007. LNCS, vol.\u00a05083, pp. 254\u2013273. Springer, Heidelberg (2008)"},{"key":"12_CR40","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/71.86108","volume":"2","author":"K. Kennedy","year":"1991","unstructured":"Kennedy, K., McKinley, K.S., Tseng, C.W.: Interactive parallel programming using the parascope editor. IEEE Trans. Parallel Distrib. Syst.\u00a02, 329\u2013341 (1991)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"10","key":"12_CR41","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1109\/TSE.1985.231547","volume":"SE-11","author":"C. Kruskal","year":"1985","unstructured":"Kruskal, C., Weiss, A.: Allocating independent subtasks on parallel processors. IEEE Transactions on Software Engineering\u00a0SE-11(10), 1001\u20131016 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1007\/3-540-57208-2_28","volume-title":"CONCUR\u201993","author":"C. Lengauer","year":"1993","unstructured":"Lengauer, C.: Loop Parallelization in the Polytope Model. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 398\u2013416. Springer, Heidelberg (1993)"},{"key":"12_CR43","unstructured":"Leonard, P.: The Multi-Core Dilemma, Intel Software Blog (March 2007), http:\/\/software.intel.com\/en-us\/blogs\/2007\/03\/14\/the-multi-core-dilemma-by-patrick-leonard\/"},{"key":"12_CR44","doi-asserted-by":"crossref","unstructured":"Lim, A.W., Lam, M.S.: Maximizing parallelism and minimizing synchronization with affine transforms - extended journal version parallel computing. Parallel Computing (1998)","DOI":"10.1016\/S0167-8191(98)00021-0"},{"key":"12_CR45","first-page":"103","volume-title":"PPoPP 2001: Proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming","author":"A.W. Lim","year":"2001","unstructured":"Lim, A.W., Liao, S.-W., Lam, M.S.: Blocking and array contraction across arbitrarily nested loops using affine partitioning. In: PPoPP 2001: Proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming, pp. 103\u2013112. ACM, New York (2001)"},{"key":"12_CR46","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Prentice Hall (1999)"},{"key":"12_CR47","first-page":"237","volume-title":"ICS 2004: Proceedings of the 18th Annual International Conference on Supercomputing","author":"S. Long","year":"2004","unstructured":"Long, S., O\u2019Boyle, M.: Adaptive java optimisation using instance-based learning. In: ICS 2004: Proceedings of the 18th Annual International Conference on Supercomputing, pp. 237\u2013246. ACM, New York (2004)"},{"key":"12_CR48","unstructured":"Low, Y., Gonzalez, J., Kyrola, A., Bickson, D., Guestrin, C., Hellerstein, J.M.: Graphlab: A new framework for parallel machine learning. CoRR, abs\/1006.4990 (2010)"},{"issue":"1","key":"12_CR49","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/1007771.55608","volume":"16","author":"S. Majumdar","year":"1988","unstructured":"Majumdar, S., Eager, D.L., Bunt, R.B.: Scheduling in multiprogrammed parallel systems. SIGMETRICS Perform. Eval. Rev.\u00a016(1), 104\u2013113 (1988)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"12_CR50","series-title":"Software Patterns Series","volume-title":"Patterns for Parallel Programming","author":"T.G. Mattson","year":"2004","unstructured":"Mattson, T.G., Sanders, B.A., Massingill, B.L.: Patterns for Parallel Programming. Software Patterns Series. Addison-Wesley, Boston (2004)"},{"key":"12_CR51","unstructured":"Opdyke, W.F.: Refactoring object-oriented frameworks. PhD thesis, UIUC, Champaign, IL, USA (1992)"},{"issue":"5","key":"12_CR52","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1109\/JPROC.2008.917757","volume":"96","author":"J. Owens","year":"2008","unstructured":"Owens, J., Houston, M., Luebke, D., Green, S., Stone, J., Phillips, J.: GPU computing. Proceedings of the IEEE\u00a096(5), 879\u2013899 (2008)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR53","unstructured":"Pop, A., Pop, S., Sj\u00f6din, J.: Automatic streamization in GCC. In: Proc. of the 2009 GCC Developers Summit, Montr\u00e9al, Canada (June 2009)"},{"key":"12_CR54","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/1375581.1375594","volume-title":"PLDI 2008: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"L.-N. Pouchet","year":"2008","unstructured":"Pouchet, L.-N., Bastoul, C., Cohen, A., Cavazos, J.: Iterative optimization in the polyhedral model: part ii, multidimensional time. In: PLDI 2008: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 90\u2013100. ACM, New York (2008)"},{"volume-title":"Patterns and Skeletons for Parallel and Distributed Computing","year":"2003","key":"12_CR55","unstructured":"Rabhi, F.A., Gorlatch, S. (eds.): Patterns and Skeletons for Parallel and Distributed Computing. Springer, London (2003)"},{"key":"12_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0055425","volume-title":"Implementation of Functional Languages","author":"S.-B. Scholz","year":"1998","unstructured":"Scholz, S.-B.: With-Loop-Folding in Sac - Condensing Consecutive Array Operations. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol.\u00a01467, pp. 72\u201391. Springer, Heidelberg (1998)"},{"key":"12_CR57","doi-asserted-by":"crossref","unstructured":"Shao, G., Berman, F., Wolski, R.: Master\/slave computing on the grid. In: HCW 2000, Cancun, pp. 3\u201316. IEEE (May 2000)","DOI":"10.1109\/HCW.2000.843728"},{"key":"12_CR58","doi-asserted-by":"crossref","unstructured":"Tamano, H., Nakadai, S., Araki, T.: Optimizing multiple machine learning jobs on mapreduce. In: 2011 IEEE Third International Conference on Cloud Computing Technology and Science, CloudCom, November 29-December 1, pp. 59\u201366 (2011)","DOI":"10.1109\/CloudCom.2011.18"},{"key":"12_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74130-5_1","volume-title":"Implementation and Application of Functional Languages","author":"K. Trojahner","year":"2007","unstructured":"Trojahner, K., Grelck, C., Scholz, S.-B.: On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. In: Horv\u00e1th, Z., Zs\u00f3k, V., Butterfield, A. (eds.) IFL 2006. LNCS, vol.\u00a04449, pp. 1\u201318. Springer, Heidelberg (2007)"},{"key":"12_CR60","unstructured":"University of Mannheim, University of Tennessee and NERSC. TOP500 supercomputer sites (November 2010), http:\/\/www.top500.org\/ (last accessed: December 1, 2010)"},{"issue":"2-4","key":"12_CR61","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1002\/cpe.927","volume":"17","author":"S.S. Vadhiyar","year":"2005","unstructured":"Vadhiyar, S.S., Dongarra, J.: Self adaptivity in grid computing. Concurr. Comput.-Pract. Exp.\u00a017(2-4), 235\u2013257 (2005)","journal-title":"Concurr. Comput.-Pract. Exp."},{"key":"12_CR62","first-page":"173","volume-title":"ESEC\/FSE 2009","author":"J. Wloka","year":"2009","unstructured":"Wloka, J., Sridharan, M., Tip, F.: Refactoring for reentrancy. In: ESEC\/FSE 2009, pp. 173\u2013182. ACM, Amsterdam (2009)"},{"key":"12_CR63","unstructured":"Wolfe, M.: High-Performance Compilers for Parallel Computing. Addison-Wesley (1995) ISBN 0-8053-2730-4"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35887-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:00:50Z","timestamp":1745942450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35887-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358869","9783642358876"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35887-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}