Issue 3/2016
Special Issue on High-Level Parallel Programming and Applications
Content (17 Articles)
New Data Structures to Handle Speculative Parallelization at Runtime
Alvaro Estebanez, Diego R. Llanos, Arturo Gonzalez-Escribano
Automatic Task-Based Code Generation for High Performance Domain Specific Embedded Language
Antoine Tran Tan, Joel Falcou, Daniel Etiemble, Hartmut Kaiser
Mixing Static and Dynamic Partitioning to Parallelize a Constraint Programming Solver
Tarek Menouer, Mohamed Rezgui, Bertrand Le Cun, Jean-Charles Régin
Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing
Marco Aldinucci, Sonia Campa, Marco Danelutto, Peter Kilpatrick, Massimo Torquati
Synthesizing MPI Implementations from Functional Data-Parallel Programs
Tristan Aubrey-Jones, Bernd Fischer
BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation
Jean Fortin, Frédéric Gava
Atomic RMI: A Distributed Transactional Memory Framework
Konrad Siek, Paweł T. Wojciechowski
Locality-Aware Automatic Parallelization for GPGPU with OpenHMPP Directives
José M. Andión, Manuel Arenaz, François Bodin, Gabriel Rodríguez, Juan Touriño
Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs
Ali Jannesari, Felix Wolf
Relational Learning with GPUs: Accelerating Rule Coverage
Carlos Alberto Martínez-Angeles, Haicheng Wu, Inês Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez