Invited Talks.- The Verifying Compiler: A Grand Challenge for Computing Research.- Evolving a Multi-language Object-Oriented Framework: Lessons from .NET.- Databases, Web Services, and Grid Computing – Standards and Directions.- Ibis: A Java-Based Grid Programming Environment.- Topic 1: Support Tools and Environments.- Topic 1 Support Tools and Environments.- A Hardware Counters Based Tool for System Monitoring.- ParaProf: A Portable, Extensible, and Scalable Tool for Parallel Performance Profile Analysis.- On Utilizing Experiment Data Repository for Performance Analysis of Parallel Applications.- Flexible Performance Debugging of Parallel and Distributed Applications.- EventSpace – Exposing and Observing Communication Behavior of Parallel Cluster Applications.- A Race Detection Mechanism Embedded in a Conceptual Model for the Debugging of Message-Passing Distributed Programs.- DIOS++: A Framework for Rule-Based Autonomic Management of Distributed Scientific Applications.- DeWiz – A Modular Tool Architecture for Parallel Program Analysis.- Why Not Use a Pattern-Based Parallel Programming System?.- Topic 2: Performance Evaluation and Prediction.- Topic 2 Performance Evaluation and Prediction.- Symbolic Performance Prediction of Speculative Parallel Programs.- A Reconfigurable Monitoring System for Large-Scale Network Computing.- Obtaining Hardware Performance Metrics for the BlueGene/L Supercomputer.- Presentation and Analysis of Grid Performance Data.- Distributed Application Monitoring for Clustered SMP Architectures.- An Emulation System for Predicting Master/Slave Program Performance.- POETRIES: Performance Oriented Environment for Transparent Resource-Management, Implementing End-User Parallel/Distributed Applications.- Topic 3: Scheduling and Load Balancing.- Topic 3 Scheduling and Load Balancing.- Static Load-Balancing Techniques for Iterative Computations on Heterogeneous Clusters.- Impact of Job Allocation Strategies on Communication-Driven Coscheduling in Clusters.- Trading Cycles for Information: Using Replication to Schedule Bag-of-Tasks Applications on Computational Grids.- Dynamic Load Partitioning Strategies for Managing Data of Space and Time Heterogeneity in Parallel SAMR Applications.- An Experimental Investigation into the Rank Function of the Heterogeneous Earliest Finish Time Scheduling Algorithm.- Performance-Based Dynamic Scheduling of Hybrid Real-Time Applications on a Cluster of Heterogeneous Workstations.- Recursive Refinement of Lower Bounds in the Multiprocessor Scheduling Problem.- Efficient Dynamic Load Balancing Strategies for Parallel Active Set Optimization Methods.- Cooperating Coscheduling in a Non-dedicated Cluster.- Predicting the Best Mapping for Efficient Exploitation of Task and Data Parallelism.- Dynamic Load Balancing for I/O- and Memory-Intensive Workload in Clusters Using a Feedback Control Mechanism.- An Experimental Study of k-Splittable Scheduling for DNS-Based Traffic Allocation.- Scheduling Strategies of Divisible Loads in DIN Networks.- Topic 4: Compilers for High Performance.- Topic 4 Compilers for High Performance.- Partial Redundancy Elimination with Predication Techniques.- SIMD Vectorization of Straight Line FFT Code.- Branch Elimination via Multi-variable Condition Merging.- Exploiting On-Chip Data Transfers for Improving Performance of Chip-Scale Multiprocessors.- An Energy-Oriented Evaluation of Communication Optimizations for Microsensor Networks.- Increasing the Parallelism of Irregular Loops with Dependences.- Finding Free Schedules for Non-uniform Loops.- Replicated Placements in the Polyhedron Model.- Topic 5: Parallel and Distributed Databases, Data Mining, and Knowledge Discovery.- Topic 5 Parallel and Distributed Databases, Data Mining, and Knowledge Discovery.- A Parallel Algorithm for Incremental Compact Clustering.- Preventive Multi-master Replication in a Cluster of Autonomous Databases*.- Pushing Down Bit Filters in the Pipelined Execution of Large Queries.- Suffix Arrays in Parallel.- Revisiting Join Site Selection in Distributed Database Systems.- SCINTRA: A Model for Quantifying Inconsistencies in Grid-Organized Sensor Database Systems.- Topic 6: Grid Computing and Middleware Systems.- Topic 6 Grid Computing and Middleware Systems.- Implementation of a Grid Computation Toolkit for Design Optimisation with Matlab and Condor.- Grid Resource Selection for Opportunistic Job Migration.- Semantic Access Control for Medical Applications in Grid Environments.- Automated Negotiation for Grid Notification Services.- GrADSolve – RPC for High Performance Computing on the Grid.- Resource and Job Monitoring in the Grid.- Delivering Data Management for Engineers on the Grid.- A Resource Accounting and Charging System in Condor Environment.- Secure Web Services with Globus GSI and gSOAP.- Future-Based RMI: Optimizing Compositions of Remote Method Calls on the Grid.- Topic 7: Applications on High-Performance Computers.- Topic 7 Applications on High-Performance Computers.- CAD Grid: Corporate-Wide Resource Sharing for Parameter Studies.- Cache Performance Optimizations for Parallel Lattice Boltzmann Codes.- Effectiveness of Parallelizing the ILOG-CPLEX Mixed Integer Optimizer in the PUBB2 Framework.- Improving Performance of Hypermatrix Cholesky Factorization.- Parallel Agent-Based Simulation on a Cluster of Workstations.- Low Level Parallelization of Nonlinear Diffusion Filtering Algorithms for Cluster Computing Environments.- Implementation of Adaptive Control Algorithms in Robot Manipulators Using Parallel Computing.- Interactive Ray Tracing on Commodity PC Clusters.- Toward Automatic Management of Embarrassingly Parallel Applications.- Comparing Two Long Biological Sequences Using a DSM System.- Two Dimensional Airfoil Optimisation Using CFD in a Grid Computing Environment.- Applied Grid Computing: Optimisation of Photonic Devices.- Parallel Linear System Solution and Its Application to Railway Power Network Simulation.- Topic 8: Parallel Computer Architecture and Instruction-Level Parallelism.- Topic 8 Parallel Computer Architecture and Instruction-Level Parallelism.- An Overview of the Blue Gene/L System Software Organization.- Trace Substitution.- Optimizing a Decoupled Front-End Architecture: The Indexed Fetch Target Buffer (iFTB).- Clustered Microarchitecture Simultaneous Multithreading.- Counteracting Bank Misprediction in Sliced First-Level Caches.- An Enhanced Trace Scheduler for SPARC Processors.- Compiler-Assisted Thread Level Control Speculation.- Compression in Data Caches with Compressible Field Isolation for Recursive Data Structures.- Value Compression to Reduce Power in Data Caches.- Topic 9: Distributed Algorithms.- Topic 9 Distributed Algorithms.- Multiresolution Watershed Segmentation on a Beowulf Network.- iRBP – A Fault Tolerant Total Order Broadcast for Large Scale Systems.- Computational Models for Web- and Grid-Based Computation.- CAS-Based Lock-Free Algorithm for Shared Deques.- Energy Efficient Algorithm for Disconnected Write Operations in Mobile Web Environments.- Distributed Scheduling of Mobile Priority Requests.- Parallel Distributed Algorithms of the ?-Model of the Small World Graphs.- Topic 10: Parallel Programming: Models, Methods, and Programming Languages.- Topic 10 Parallel Programming: Models, Methods, and Programming Languages.- Cost Optimality and Predictability of Parallel Programming with Skeletons.- A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.- From Complexity Analysis to Performance Analysis.- The Implementation of ASSIST, an Environment for Parallel and Distributed Programming.- The Design of an API for Strict Multithreading in C++.- High-Level Process Control in Eden.- Using Skeletons in a Java-Based Grid System.- Prototyping Application Models in Concurrent ML.- THROOM – Supporting POSIX Multithreaded Binaries on a Cluster.- An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages.- Parallel Juxtaposition for Bulk Synchronous Parallel ML.- Parallelization with Tree Skeletons.- Topic 11: Numerical Algorithms and Scientific Engineering Problems.- Topic 11 Numerical Algorithms and Scientific Engineering Problems.- Parallel ScaLAPACK-Style Algorithms for Solving Continuous-Time Sylvester Matrix Equations.- RECSY – A High Performance Library for Sylvester-Type Matrix Equations.- Two Level Parallelism in a Stream-Function Model for Global Ocean Circulation.- Scalable Parallel RK Solvers for ODEs Derived by the Method of Lines.- Hierarchical Hybrid Grids as Basis for Parallel Numerical Solution of PDE.- Overlapping Computation/Communication in the Parallel One-Sided Jacobi Method.- Topic 12: Architectures and Algorithms for Multimedia Applications.- Topic 12 Architectures and Algorithms for Multimedia Applications.- Distributed Multimedia Streaming over Peer-to-Peer Networks.- Exploiting Traffic Balancing and Multicast Efficiency in Distributed Video-on-Demand Architectures.- On Transmission Scheduling in a Server-Less Video-on-Demand System.- A Proxy-Based Dynamic Multicasting Policy Using Stream’s Access Pattern.- Topic 13: Theory and Algorithms for Parallel Computation.- Topic 13 Theory and Algorithms for Parallel Computation.- Improving Communication Sensitive Parallel Radix Sort for Unbalanced Data.- Minimizing Global Communication in Parallel List Ranking.- Construction of Efficient Communication Sub-structures: Non-approximability Results and Polynomial Sub-cases.- c-Perfect Hashing Schemes for Binary Trees, with Applications to Parallel Memories.- A Model of Pipelined Mutual Exclusion on Cache-Coherent Multiprocessors.- Efficient Parallel Multiplication Algorithm for Large Integers.- Topic 14: Routing and Communication in Interconnection Networks.- Topic 14 Routing and Communication in Interconnection Networks.- Dynamic Streams for Efficient Communications between Migrating Processes in a Cluster.- FOBS: A Lightweight Communication Protocol for Grid Computing.- Low-Fragmentation Mapping Strategies for Linear Forwarding Tables in InfiniBandTM.- A Robust Mechanism for Congestion Control: INC.- RoCL: A Resource Oriented Communication Library.- A QoS Multicast Routing Protocol for Dynamic Group Topology.- A Study of Network Capacity under Deflection Routing Schemes.- Implementation and Performance Evaluation of M-VIA on AceNIC Gigabit Ethernet Card.- Topic 15: Mobile and Ubiquitous Computings.- Topic 15 Mobile and Ubiquitous Computing.- A Comparative Study of Protocols for Efficient Data Propagation in Smart Dust Networks.- Network Based Mobile Station Positioning in Metropolitan Area.- Programming Coordinated Motion Patterns with the TOTA Middleware.- iClouds – Peer-to-Peer Information Sharing in Mobile Environments.- Support for Personal and Service Mobility in Ubiquitous Computing Environments.- Dynamic Layouts for Wireless ATM.- Modeling Context-Aware Behavior by Interpreted ECA Rules.- A Coordination Model for ad hoc Mobile Systems.- Making Existing Interactive Applications Context-Aware.- Benefits and Requirements of Using Multi-agent Systems on Smart Devices.- Performance Evaluation of Two Congestion Control Mechanisms with On-Demand Distance Vector (AODV) Routing Protocol for Mobile and Wireless Networks.- Towards an Approach for Mobile Profile Based Distributed Clustering.- Simulating Demand-Driven Server and Service Location in Third Generation Mobile Networks.- Designing Mobile Games for a Challenging Experience of the Urban Heritage.- QoS Provision in IP Based Mobile Networks.- Design of a Management System for Wireless Home Area Networking.- Short Message Service in a Grid-Enabled Computing Environment.- Service Migration Mechanism Using Mobile Sensor Network.- Topic 16: Distributed Systems and Distributed Multimedia.- Topic 16 Distributed Systems and Distributed Multimedia.- Nswap: A Network Swapping Module for Linux Clusters.- Low Overhead Agent Replication for the Reliable Mobile Agent System.- A Transparent Software Distributed Shared Memory.- On the Characterization of Distributed Virtual Environment Systems.- A Proxy Placement Algorithm for the Adaptive Multimedia Server.- A New Distributed JVM for Cluster Computing.- An Extension of BSDL for Multimedia Bitstream Syntax Description.- Fast Construction, Easy Configuration, and Flexible Management of a Cluster System.- Topic 17: Peer-to-Peer Computing.- Topic 17 Peer-to-Peer Computing.- Hierarchical Peer-to-Peer Systems.- Enabling Peer-to-Peer Interactions for Scientific Applications on the Grid.- A Spontaneous Overlay Search Tree.- Fault Tolerant Peer-to-Peer Dissemination Network.- Exploring the Catallactic Coordination Approach for Peer-to-Peer Systems.- Incentives for Combatting Freeriding on P2P Networks.- Topic 18: Demonstrations of Parallel and Distributed Computing.- Topic 18 Demonstrations of Parallel and Distributed Computing.- Demonstration of P-GRADE Job-Mode for the Grid.- Coupling Parallel Simulation and Multi-display Visualization on a PC Cluster.- Kerrighed: A Single System Image Cluster Operating System for High Performance Computing.- ASSIST Demo: A High Level, High Performance, Portable, Structured Parallel Programming Environment at Work.- KOJAK – A Tool Set for Automatic Performance Analysis of Parallel Programs.- Visual System for Developing of Parallel Programs.- Late Paper.- Peer-to-Peer Communication through the Design and Implementation of Xiangqi.