Christopher Brown, Vladimir Janjic, M. Goli & J. McCall. (2020) Programming Heterogeneous Parallel Machines Using Refactoring and Monte–Carlo Tree Search. International Journal of Parallel Programming 48:4, pages 583-602.
Crossref
Frédéric Loulergue & Jolan Philippe. 2020. Algorithms and Architectures for Parallel Processing. Algorithms and Architectures for Parallel Processing
183
197
.
Antonio Brogi, Marco Danelutto, Daniele De Sensi, Ahmad Ibrahim, Jacopo Soldani & Massimo Torquati. (2016) Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications. International Journal of Parallel Programming 46:1, pages 81-100.
Crossref
P. Hijma, R. V. van Nieuwpoort, C. J. H. Jacobs & H. E. Bal. (2015) Stepwise‐refinement for performance: a methodology for many‐core programming. Concurrency and Computation: Practice and Experience 27:17, pages 4515-4554.
Crossref
Christopher Brown, Marco Danelutto, Kevin Hammond, Peter Kilpatrick & Archibald Elliott. (2013) Cost-Directed Refactoring for Parallel Erlang Programs. International Journal of Parallel Programming 42:4, pages 564-582.
Crossref
Marco Aldinucci, Sonia Campa, Peter Kilpatrick & Massimo Torquati. 2013. Euro-Par 2012: Parallel Processing Workshops. Euro-Par 2012: Parallel Processing Workshops
381
390
.
Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Fabio Tordini & Massimo Torquati. 2013. Formal Methods for Components and Objects. Formal Methods for Components and Objects
257
276
.
Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya & Massimo Torquati. 2011. Euro-Par 2010 Parallel Processing Workshops. Euro-Par 2010 Parallel Processing Workshops
167
175
.
Kiminori Matsuzaki & Kento Emoto. (2010) Lessons from implementing the biCGStab method with SkeTo library. Lessons from implementing the biCGStab method with SkeTo library.
Kiminori Matsuzaki & Kento Emoto. 2011. Implementation and Application of Functional Languages. Implementation and Application of Functional Languages
72
89
.
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki & Masato Takeichi. 2010. Euro-Par 2010 - Parallel Processing. Euro-Par 2010 - Parallel Processing
26
37
.
Shigeyuki Sato & Hideya Iwasaki. 2009. Programming Languages and Systems. Programming Languages and Systems
79
94
.
Marco Aldinucci & Marco Danelutto. (2007) Skeleton-based parallel programming: Functional and parallel semantics in a single shot. Computer Languages, Systems & Structures 33:3-4, pages 179-192.
Crossref
Nils Ellmenreich & Christian Lengauer. (2007) Costing stepwise refinements of parallel programs. Computer Languages, Systems & Structures 33:3-4, pages 134-167.
Crossref
Ignacio Peláez, Francisco Almeida & Daniel González. 2006. Parallel and Distributed Processing and Applications. Parallel and Distributed Processing and Applications
267
277
.
Ignacio Peláez, Francisco Almeida & Daniel González. 2006. Computational Science – ICCS 2006. Computational Science – ICCS 2006
872
875
.
A. Cook, A. Ireland, G. Michaelson & N. Scaife. (2005) Discovering applications of higher order functions through proof planning. Formal Aspects of Computing 17:1, pages 38-57.
Crossref
Norman Scaife, Greg Michaelson & Susumu Horiguchi. 2005. Computational Science – ICCS 2005. Computational Science – ICCS 2005
781
789
.
H. Gonzalez-Velez, A. de Luca & V. Gonzalez-Velez. (2004) A comparative study of intrinsic parallel programming methodologies. A comparative study of intrinsic parallel programming methodologies.
M. Aldinucci & M. Danelutto. 2004. Parallel Computing - Software Technology, Algorithms, Architectures and Applications. Parallel Computing - Software Technology, Algorithms, Architectures and Applications
63
70
.
Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu & Yoshiki Akashi. 2004. Euro-Par 2004 Parallel Processing. Euro-Par 2004 Parallel Processing
644
653
.
Christian Lengauer. 2004. Domain-Specific Program Generation. Domain-Specific Program Generation
73
91
.
ROBERTO DI COSMO & SUSANNA PELAGATTI. (2011) A CALCULUS FOR DENSE ARRAY DISTRIBUTIONS. Parallel Processing Letters 13:03, pages 377-388.
Crossref
Susanna Pelagatti. 2003. Patterns and Skeletons for Parallel and Distributed Computing. Patterns and Skeletons for Parallel and Distributed Computing
155
186
.
Sergei Gorlatch. 2001. Parallel Computing Technologies. Parallel Computing Technologies
243
257
.