7. ISPDC 2008: Krakow, Poland

7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland. IEEE Computer Society 2008 BibTeX

Invited Talks

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

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
Electronic Edition (link) BibTeX
Garry Smith, Mark Baker:
A Flexible Monitoring and Notification System for Distributed Resources. 31-38
Electronic Edition (link) BibTeX
Maciej Mlynski:
The Analysis of Influence of IBM pSeries Servers' Virtualization Mechanism on Dynamic Resources Allocation in AIX 5L. 39-46
Electronic Edition (link) BibTeX

Parallel and Distributed Applications

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

Parallel and Distributed Applications

Ravi Reddy Manumachu, Alexey L. Lastovetsky, Pedro Alonso:
Heterogeneous PBLAS: Optimization of PBLAS for Heterogeneous Computational Clusters. 73-80
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Carlos Castaneda-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
Electronic Edition (link) BibTeX

Task Scheduling and Load Balancing

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

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
Electronic Edition (link) BibTeX
Florin Pop, Ciprian Dobre, Valentin Cristea:
Performance Analysis of Grid DAG Scheduling Algorithms using MONARC Simulation Tool. 131-138
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Victor Bacu, Dorian Gorgan:
Graph Based Evaluation of Satellite Imagery Processing over Grid. 147-154
Electronic Edition (link) BibTeX
Adam Smyk, Marek Tudruj:
Genetic Optimization of Parallel FDTD Computations. 155-161
Electronic Edition (link) BibTeX

Algorithms, Models and Formal Verification

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

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
Electronic Edition (link) BibTeX
É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
Electronic Edition (link) BibTeX
Mike Heroux, Zhaofang Wen, Junfeng Wu, Yuesheng Xu:
Initial Experiences with the BEC Parallel Programming Environment. 205-212
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Zbigniew Kokosinski, Pawel Halesiak:
FPGA Generators of Combinatorial Configurations in a Linear Array Model. 223-227
Electronic Edition (link) BibTeX
Pierre Bomel, Jean-Philippe Diguet, Guy Gogniat, Jeremie Crenne:
Bitstreams Repository Hierarchy for FPGA Partially Reconfigurable Systems. 228-234
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Ye Zhang, Guy Bergére, Serge G. Petiton:
Large Scale Parallel Hybrid GMRES Method for the Linear System on Grid System. 244-249
Electronic Edition (link) BibTeX
Jonathan Widger, Daniel Grosu:
Computing Equilibria in Bimatrix Games by Parallel Support Enumeration. 250-256
Electronic Edition (link) BibTeX

Grid Computing

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

Networks and Data Transfer Scheduling

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

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
Electronic Edition (link) BibTeX
Aleksandar Ilic, Frederico Pratas, Leonel Sousa:
Distributed Web-based Platform for Computer Architecture Simulation. 317-324
Electronic Edition (link) BibTeX
Shinichi Yamagiwa, Koichi Wada, Leonel Sousa:
Heuristic Optimization Methods for Improving Performance of Recursive General Purpose Applications on GPUs. 325-332
Electronic Edition (link) BibTeX

Fault Tolerance in Parallel and Distributed Systems

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

Mobile Computing and Security

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

Distributed Systems Methodology and Networking

Catalin Cirstoiu, Ramiro Voicu, Nicolae Tapus:
Framework for High-Performance Data Transfers Optimization in Large Distributed Systems. 385-392
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Valeriy Kolesnikov, Gurdip Singh:
InDiGO: An Infrastructure for Optimization of Distributed Algorithms. 401-408
Electronic Edition (link) BibTeX
Alexandru Costan, Ciprian Dobre, Valentin Cristea, Ramiro Voicu:
A Monitoring Architecture for High-Speed Networks in Large Scale Distributed Collaborations. 409-416
Electronic Edition (link) BibTeX

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