The verifying compiler: a grand challenge for computing research -- Evolving a multi-language object-Oriented framework: Lessons form. NET -- Databases, Web services, and grid computing-Standards and directions -- Ibis: A java-Based grid programming environment -- A hardware counters based tool for system monitoring -- Flexible performance debugging of parallel and distributed applications -- Symbolic performance prediction of speculative parallel programs -- Presentation and analysis of grid performance data -- Static Load-Balancing techniques for iterative computations on heterogeneous clusters -- Performance-Based dynamic scheduling of hybrid real-time applications on a cluster of heterogeneous workstations -- Predicting the best mapping for efficient exploitation of task and data parallelism -- Partial redundancy elimination with predication techniques -- An Energy-Oriented evaluation of communication optimizations for microsensor networks -- A Parallel algorithm for incremental compact clustering -- Preventive multi-master replication in a cluster of autonomous databases -- Implementation of a grid computation toolkit for design optimisation with matlab and condor -- Grid resource selection for opportunistic job migration -- CAD Grid: Corporate-Wide resource sharing for parameter studies -- An Overview of the Blue Gene/L system software organization -- Multiresolution watershed segmentation on a beowulf network -- Cost optimality and predictability of parallel programming with skeletons -- The design of an API for strict multithreading in C++

1. Parallel processing (Electronic computers) -- Congresses