| 2009 | Verification of Causality Requirements in Java Memory Model Is Undecidable. | Matko Botincan, Paola Glavan, Davor Runje |
| 2009 | Montgomery Multiplication on the Cell. | Joppe W. Bos, Marcelo E. Kaihara |
| 2009 | Designing Execution Control in Programs with Global Application States Monitoring. | Janusz Borkowski, Marek S. Tudruj |
| 2009 | Performance Debugging of Parallel Compression on Multicore Machines. | Janusz Borkowski |
| 2009 | GEM - A Platform for Advanced Mathematical Geosimulations. | Radim Blaheta, Ondrej Jakl, Roman Kohut, Jir Star |
| 2009 | Reduction to Condensed Forms for Symmetric Eigenvalue Problems on Multi-core Architectures. | Paolo Bientinesi, Francisco D. Igual, Daniel Kressner, Enrique S. Quintana-Ort |
| 2009 | Extracting Both Affine and Non-linear Synchronization-Free Slices in Program Loops. | Wlodzimierz Bielecki, Marek Palkowski |
| 2009 | Fully Polynomial Time Approximation Schemes for Scheduling Divisible Loads. | Joanna Berlinska |
| 2009 | Accuracy and Performance of Single versus Double Precision Arithmetics for Maximum Likelihood Phylogeny Reconstruction. | Simon A. Berger, Alexandros Stamatakis |
| 2009 | UNICORE Virtual Organizations System. | Krzysztof Benedyczak, Marcin Lewandowski, Aleksander Nowinski, Piotr Bala |
| 2009 | Monte Carlo Simulations of Spin Glass Systems on the Cell Broadband Engine. | Francesco Belletti, Marco Guidetti, Andrea Maiorano, Filippo Mantovani, Sebastiano Fabio Schifano, Raffaele Tripiccione |
| 2009 | An Orthogonal Matching Pursuit Algorithm for Image Denoising on the Cell Broadband Engine. | Dominik Bartuschat, Markus Strmer, Harald Kstler |
| 2009 | Leveraging Complex Event Processing for Grid Monitoring. | Bartosz Balis, Bartosz Kowalewski, Marian Bubak |
| 2009 | Evaluating Lava Flow Hazard at Mount Etna (Italy) by a Cellular Automata Based Methodology. | Maria Vittoria Avolio, Donato D'Ambrosio, Valeria Lupiano, Rocco Rongo, William Spataro |
| 2009 | Mobile Agents for Management of Native Applications in GRID. | Rocco Aversa, Beniamino Di Martino, Renato Donini, Salvatore Venticinque |
| 2009 | Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems. | Ekaterina Auer, Andreas Rauh |
| 2009 | Quasi-random Approach in the Grid Application SALUTE. | Emanouil I. Atanassov, Aneta Karaivanova, Todor V. Gurov |
| 2009 | Parallelized Transient Elastic Wave Propagation in Orthotropic Structures. | Peter Arbenz, Jrg Bryner, Christine Tobler |
| 2009 | A GPU Approach to the Simulation of Spatio-temporal Dynamics in Ultrasonic Resonators. | Pedro Alonso-Jord, Isabel Prez-Arjona, Victor J. Snchez-Morcillo |
| 2009 | Partial Data Replication as a Strategy for Parallel Computing of the Multilevel Discrete Wavelet Transform. | Liesner Acevedo, Vctor M. Garca, Antonio M. Vidal, Pedro Alonso |
| 2009 | On the Performance of a New Parallel Algorithm for Large-Scale Simulations of Nonlinear Partial Differential Equations. | Juan A. Acebrn, ngel Rodrguez-Rozas, Renato Spigler |
| 2007 | A Container-Iterator Parallel Programming Model. | Gerhard W. Zumbusch |
| 2007 | Ontology Alignment for Contract Based Virtual Organizations Negotiation and Operation. | Joanna Zieba, Bartosz Kryza, Renata Slota, Lukasz Dutka, Jacek Kitowski |
| 2007 | Parallel Computing of GRAPES 3D-Variational Data Assimilation System. | Xiaoqian Zhu, Weimin Zhang, Junqiang Song |
| 2007 | Implementation and Optimization of Dense LU Decomposition on the Stream Processor. | Ying Zhang, Tao Tang, Gen Li, Xuejun Yang |