7. ISPDC 2008: Krakow, Poland

Invited Talks

• Michael J. Flynn, Robert G. Dimond, Oskar Mencer, Oliver Pell:
  Finding Speedup in Parallel Processors. 3-7
  
• Dean M. Tullsen:
  Holistic Design of Multiple-Core Architectures. 8-9
  
• John Morrison:
  Computing with Condensed Graphs. 10-19
  
• Jacek Kitowski:
  Semantic Approach to Capability and Capacity Computing. 20
  

Performance Management in Parallel and Distributed Systems

• Alexandre Otto Stube, Dolores Rexachs, Emilio Luque:
  Software Probes: Towards a Quick Method for Machine Characterization and Application Performance Prediction. 23-30
  
• Garry Smith, Mark Baker:
  A Flexible Monitoring and Notification System for Distributed Resources. 31-38
  
• Maciej Mlynski:
  The Analysis of Influence of IBM pSeries Servers' Virtualization Mechanism on Dynamic Resources Allocation in AIX 5L. 39-46
  

Parallel and Distributed Applications

• Ravi Reddy Manumachu, Alexey L. Lastovetsky, Pedro Alonso:
  Scalable Dense Factorizations for Heterogeneous Computational Clusters. 49-56
  
• Marcin Brzuszek, Anna Sasak, Marcin Turek:
  Speculative Computing of Recursive Functions Taking Values from Finite Sets. 57-64
  
• Sukhendu Kanrar, Sankhayan Choudhury, Nabendu Chaki:
  A Link-failure Resilient Token based Mutual Exclusion Algorithm for Directed Graph Topology. 65-72
  

Parallel and Distributed Applications

• Ravi Reddy Manumachu, Alexey L. Lastovetsky, Pedro Alonso:
  Heterogeneous PBLAS: Optimization of PBLAS for Heterogeneous Computational Clusters. 73-80
  
• Antonio Gómez-Iglesias, Miguel A. Vega-Rodríguez, Francisco Castejón-Magaña, Miguel Cárdenas Montes, Enrique Morales-Ramos:
  Using a Genetic Algorithm and the Grid to Improve Transport Levels in the TJ-II Stellarator. 81-88
  
• Carlos Castañeda Marroquín, Carmen B. Navarrete, Alfonso Ortega, Manuel Alfonseca, Eloy Anguiano:
  Parallel Metropolis-Montecarlo Simulation for Potts Model using an Adaptable Network Topology based on Dynamic Graph Partitioning. 89-96
  

Task Scheduling and Load Balancing

• Lukasz Masko, Marek Tudruj:
  Task Scheduling for SoC-Based Dynamic SMP Clusters with Communication on the Fly. 99-106
  
• Marta Beltrán, Antonio Guzmán:
  Designing Load Balancing Algorithms Capable of Dealing with Workload Variability. 107-114
  
• Alfredo Goldman, Yanik Ngoko:
  A MILP Approach to Schedule Parallel Independent Tasks. 115-122
  

Task Scheduling and Load Balancing

• Mahbubur Rashid, Ioana Banicescu, Ricolindo Cariño:
  Investigating a Dynamic Loop Scheduling with Reinforcement Learning Approach to Load Balancing in Scientific Applications. 123-130
  
• Florin Pop, Ciprian Dobre, Valentin Cristea:
  Performance Analysis of Grid DAG Scheduling Algorithms using MONARC Simulation Tool. 131-138
  

Task Scheduling and Load Balancing

• Biagio Cosenza, Gennaro Cordasco, Rosario De Chiara, Ugo Erra, Vittorio Scarano:
  Load Balancing in Mesh-like Computations using Prediction Binary Trees. 139-146
  
• Victor Bacu, Dorian Gorgan:
  Graph Based Evaluation of Satellite Imagery Processing over Grid. 147-154
  
• Adam Smyk, Marek Tudruj:
  Genetic Optimization of Parallel FDTD Computations. 155-161
  

Algorithms, Models and Formal Verification

• Mitica Craus:
  A New Parallel Algorithm for the Frequent Itemset Mining Problem. 165-170
  
• Leszek Kotulski, Adam Sedziwy:
  Derivation Control Environment as a Tool for an Efficient Distributed Graph Transformations Coordination. 171-178
  
• Stefan D. Bruda, Yuanqiao Zhang:
  The Shared Memory Hierarchy: The PRAM is as Powerful as the BSR. 179-185
  

Tools and Environments for Parallel Programming

• Giorgos Ch. Philos, Vassilios V. Dimakopoulos, Panagiotis E. Hadjidoukas:
  A Runtime System Architecture for Ubiquitous Support of OpenMP. 189-196
  
• Éric Renault, Charles Ancelin, Willy Jimenez, Oscar Botero:
  Using Source-to-Source Transformation Tools to Provide Distributed Parallel Applications from OpenMP Source Code. 197-204
  
• Mike Heroux, Zhaofang Wen, Junfeng Wu, Yuesheng Xu:
  Initial Experiences with the BEC Parallel Programming Environment. 205-212
  

Embedded Systems and Architectures

• Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser:
  Modeling and Formal Validation of High-Performance Embedded Systems. 215-222
  
• Zbigniew Kokosinski, Pawel Halesiak:
  FPGA Generators of Combinatorial Configurations in a Linear Array Model. 223-227
  
• Pierre Bomel, Jean-Philippe Diguet, Guy Gogniat, Jeremie Crenne:
  Bitstreams Repository Hierarchy for FPGA Partially Reconfigurable Systems. 228-234
  

Parallel Scientific Computing and Large Scale Simulations

• George A. Gravvanis, Konstantinos M. Giannoutakis:
  An Improved Parallel Algorithm for Computing Approximate Inverses by Reducing Synchronizations. 237-243
  
• Ye Zhang, Guy Bergére, Serge G. Petiton:
  Large Scale Parallel Hybrid GMRES Method for the Linear System on Grid System. 244-249
  
• Jonathan Widger, Daniel Grosu:
  Computing Equilibria in Bimatrix Games by Parallel Support Enumeration. 250-256
  

Grid Computing

• Georgiana Macariu, Alexandru Cârstea, Marc Frîncu, Dana Petcu:
  Towards a Grid Oriented Architecture for Symbolic Computing. 259-266
  
• Laurent Bobelin, Traian Muntean:
  Algorithms for Network Topology Discovery using End-to-End Measurements. 267-274
  
• Christian Glasner, Jens Volkert:
  An Architecture for an Adaptive Run-time Prediction System. 275-282
  

Networks and Data Transfer Scheduling

• Mugurel Ionut Andreica, Nicolae Tapus:
  Efficient Data Structures for Online QoS-Constrained Data Transfer Scheduling. 285-292
  
• Eryk Laskowski, Marek Tudruj:
  Optimized Communication Control in Programs for Dynamic Look-Ahead Reconfigurable SoC Systems. 293-299
  
• Risto Honkanen:
  Scheduled Routing in an Optical Hypercube. 300-305
  

New Parallel Concepts and Architectures

• Jae Chul Cha, Sandeep K. Gupta:
  Data Partitioning and Placement Schemes for Matrix Multiplications on a PIM Architecture. 309-316
  
• Aleksandar Ilic, Frederico Pratas, Leonel Sousa:
  Distributed Web-based Platform for Computer Architecture Simulation. 317-324
  
• Shinichi Yamagiwa, Koichi Wada, Leonel Sousa:
  Heuristic Optimization Methods for Improving Performance of Recursive General Purpose Applications on GPUs. 325-332
  

Fault Tolerance in Parallel and Distributed Systems

• Lásaro J. Camargos, Marcin Wieloch, Fernando Pedone, Edmundo Roberto Mauro Madeira:
  A Highly Available Log Service for Transaction Termination. 335-342
  
• Mathieu Bouillaguet, Luciana Arantes, Pierre Sens:
  Fault Tolerant K-Mutual Exclusion Algorithm Using Failure Detector. 343-350
  
• Thibault Bernard, Alain Bui, Devan Sohier:
  Token Loss Detection for Random Walk based Algorithm. 351-356
  

Mobile Computing and Security

• Romain Williot, Dan Grigoras:
  Context Modeling for Urban Mobile Applications. 359-366
  
• Kishori M. Konwar, Peter M. Musial, Alexander A. Shvartsman:
  Spontaneous, Self-Sampling Quorum Systems for Ad Hoc Networks. 367-374
  
• Serguei A. Mokhov:
  Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems. 375-382
  

Distributed Systems Methodology and Networking

• Catalin Cirstoiu, Ramiro Voicu, Nicolae Tapus:
  Framework for High-Performance Data Transfers Optimization in Large Distributed Systems. 385-392
  
• Carsten Clauss, Stefan Lankes, Thomas Bemmerl:
  Design and Implementation of a Service-integrated Session Layer for Efficient Message Passing in Grid Computing Environments. 393-400
  
• Valeriy Kolesnikov, Gurdip Singh:
  InDiGO: An Infrastructure for Optimization of Distributed Algorithms. 401-408
  
• Alexandru Costan, Ciprian Dobre, Valentin Cristea, Ramiro Voicu:
  A Monitoring Architecture for High-Speed Networks in Large Scale Distributed Collaborations. 409-416
  

• Janusz Borkowski, Marek Tudruj:
  Global States Monitoring in Execution Control of Parallel Programs. 419-423
  
• Arkadiusz Chrobot, Grzegorz Lukawski, Krzysztof Sapiecha:
  Scalable Distributed Data Structures for Linux-based Multicomputer. 424-428
  
• Eugen Dedu, Kahina Boutoustous, Julien Bourgeois:
  An Exhaustive Comparison Framework for Distributed Shape Differentiation in a MEMS Sensor Actuator Array. 429-433
  
• Ciprian Dobre, Corina Stratan, Valentin Cristea:
  Realistic Simulation of Large Scale Distributed Systems using Monitoring. 434-438
  
• Jacek Kitowski, Tomasz Rozen, Krzysztof Boryczko, Witold Alda:
  Particle Simulations of Two-Phase Flows on Cell Broadband Engine. 439-443
  
• Zbigniew Kokosinski, Bartlomiej Malus:
  FPGA Implementations of a Parallel Associative Processor with Multi-Comparand Multi-Search Operations. 444-448
  
• Akira Matsubayashi, Yasuyuki Kawamura:
  Randomized Online File Allocation on Uniform Ring Networks. 449-453
  
• Piotr Matyasik, Marcin Szpyrka:
  Formal Modelling and Verification of Concurrent Systems with XCCS. 454-458
  
• Rafal Mrowka, Tomasz Szmuc:
  UML Statecharts Compositional Semantics in LOTOS. 459-463
  
• Antonio M. Vidal, Murilo Boratto, Pedro Alonso:
  A Threaded Divide and Conquer Symmetric Tridiagonal Eigensolver on Multicore Systems. 464-468