Parallel Processing Letters, Volume 13, 2003

Volume 13, Number 1, March 2003

• Eric Gascard, Laurence Pierre:
  Formal Proof of Applications Distributed in Symmetric Interconnection Networks. 3-18
  
• Bernadette Charron-Bost, Robert Cori:
  A Note on Linearizability and the Global Time Axiom. 19-24
  
• Yiwei Chiao:
  A Self-Stabilizing Phase Synchronization Protocol. 25-34
  
• Jop F. Sibeyn, Michal Soch:
  Optimal Gossiping on CCCs of Even Dimension. 35-42
  
• Jie Wu, Fei Dai:
  QoS Routing in Hypercube Multicomputers. 43-52
  
• Eric Gamess:
  Execution of Sequential and Parallel Java Bytecode in a Metacomputing System. 53-64
  
• Selim G. Akl:
  Parallel Real-Time Computation of Nonlinear Feedback Functions. 65-75
  
• Jordi Petit:
  Combining Spectral Sequencing and Parallel Simulated Annealing for the MINLA Problem. 77-91
  

Volume 13, Number 2, June 2003

• Jack Dongarra, Bernard Tourancheau:
  Preface. 93
  
• Geoffroy Vallée, Renaud Lottiaux, Louis Rilling, Jean-Yves Berthou, Ivan Dutka Malhen, Christine Morin:
  A Case for Single System Image Cluster Operating Systems: The Kerrighed Approach. 95-122
  
• I-Hsin Chung, Jeffrey K. Hollingsworth:
  Runtime Selection among Different API Implementations. 123-134
  
• Paul Heinzlreiter, Dieter Kranzlmüller:
  Visualization Services on the Grid: The Grid Visualization Kernel. 135-148
  
• Jean-Patrick Gelas, Saad El Hadri, Laurent Lefèvre:
  Towards the Design of a High Performance Active Node. 149-167
  
• Anna Morajko, Oleg Morajko, Josep Jorba, Tomàs Margalef, Emilio Luque:
  Automatic Performance Analysis and Dynamic Tuning of Distributed Applications. 169-187
  
• Cherri M. Pancake:
  Usability Issues in Developing Tools for the Grid - And How Visual Representations Can Help. 189-206
  
• James S. Plank, Scott Atchley, Ying Ding, Micah Beck:
  Algorithms for High Performance, Wide-Area Distributed File Downloads. 207-223
  
• Olivier Beaumont, Arnaud Legrand, Loris Marchal, Yves Robert:
  Scheduling Strategies for Mixed Data and Task Parallelism on Heterogeneous Clusters. 225-244
  
• Sivaramakrishnan Narayanan, Tahsin M. Kurç, Ümit V. Çatalyürek, Joel H. Saltz:
  Database Support for Data-Driven Scientific Applications in the Grid. 245-271
  
• Dawid Kurzyniec, Tomasz Wrzosek, Dominik Drzewiecki, Vaidy S. Sunderam:
  Towards Self-Organizing Distributed Computing Frameworks: The H2O Approach. 273-290
  
• Sathish S. Vadhiyar, Jack Dongarra:
  SRS: A Framework for Developing Malleable and Migratable Parallel Applications for Distributed Systems. 291-312
  

Volume 13, Number 3, September 2003

• Gaétan Hains, Frédéric Loulergue:
  Preface: Special Issue on High-Level Parallel Programming and Applications. 313-316
  
• Mostafa Bamha, Matthieu Exbrayat:
  Pipelining a Skew-Insensitive Parallel Join Algorithm. 317-328
  
• Vasil P. Vasilev:
  BSPGRID: Variable Resources Parallel Computation and Multiprogrammed Parallelism. 329-340
  
• Ami Marowka:
  Extending OpenMP for Task Parallelism. 341-352
  
• Xie Yong, Wen-Jing Hsu:
  Aligned Multithreaded Computations and Their Scheduling with Performance Guarantees. 353-364
  
• Frédéric Gava:
  Formal Proofs of Functional BSP Programs. 365-376
  
• Roberto Di Cosmo, Susanna Pelagatti:
  A Calculus for Dense Array Distributions. 377-388
  
• Yifeng Chen, Jeff W. Sanders:
  Top-Down Design of Bulk-Synchronous Parallel Programs. 389-400
  
• Clemens Grelck, Sven-Bodo Scholz:
  Sac - From High-Level Programming with Arrays to Efficient Parallel Execution. 401-412
  
• Kevin Hammond, Jost Berthold, Rita Loogen:
  Automatic Skeletons in Template Haskell. 413-424
  
• Emmanuel Chailloux, Christian Foisy:
  A Portable Implementation for Objective Caml Flight. 425-436
  
• Antonio J. Dorta, Jesus A. González, Casiano Rodríguez, Francisco de Sande:
  llc: A Parallel Skeletal Language. 437-448
  
• Marco Aldinucci:
  eskimo: Experimenting with Skeletons in the Shared Address Model. 449-460
  
• Holger Bischof, Sergei Gorlatch, Roman Leshchinskiy:
  DatTel: A Data-Parallel C++ Template Library. 461-472
  
• Konrad Hinsen:
  High-Level Parallel Software Development with Python and BSP. 473-484
  
• Anders Dessmark, Andrzej Lingas, Andrzej Pelc:
  Trade-Offs Between Load and Degree in Virtual Path Layouts. 485-496
  
• Mitchell A. Thornton:
  Performance Evaluation of a Parallel Decoupled Data Driven Multiprocessor. 497-507
  

Volume 13, Number 4, December 2003

• Hasyim Gautama, Arjan J. C. van Gemund:
  Symbolic Performance Estimation Of Speculative Parallel Programs. 513-524
  
• Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool:
  Predicated Partial Redundancy Elimination Using A Cost Analysis. 525-536
  
• Richard Lawley, Michael Luck, Keith Decker, Terry R. Payne, Luc Moreau:
  Automated Negotiation Between Publishers And Consumers Of Grid Notifications. 537-548
  
• Thomas Pohl, Markus Kowarschik, Jens Wilke, Klaus Iglberger, Ulrich Rüde:
  Optimization And Profiling Of The Cache Performance Of Parallel Lattice Boltzmann Codes. 549-560
  
• George Almási, Ralph Bellofatto, José R. Brunheroto, Calin Cascaval, José G. Castaños, Paul Crumley, C. Christopher Erway, Derek Lieber, Xavier Martorell, José E. Moreira, Ramendra K. Sahoo, Alda Sanomiya, Luis Ceze, Karin Strauss:
  An Overview Of The Bluegene/L System Software Organization. 561-574
  
• Holger Bischof, Sergei Gorlatch, Emanuel Kitzelmann:
  Cost Optimality And Predictability Of Parallel Programming With Skeletons. 575-587
  
• Fernando Cores, Ana Ripoll, Xiaoyuan Yang, Bahjat Qazzaz, Remo Suppi, Porfidio Hernández, Emilio Luque:
  Improving Bandwidth Efficiency In Distributed Video-On-Demand Architectures. 589-600
  
• Pascal Gallard, Christine Morin:
  Dynamic Streams For Efficient Communications Between Migrating Processes In A Cluster. 601-614
  
• Ioannis Chatzigiannakis, Tassos Dimitriou, Marios Mavronicolas, Sotiris E. Nikoletseas, Paul G. Spirakis:
  A Comparative Study Of Protocols For Efficient Data Propagation In Smart Dust Networks. 615-627
  
• Konstantin Popov, Mahmoud Rafea, Fredrik Holmgren, Per Brand, Vladimir Vlassov, Seif Haridi:
  Parallel Agent-Based Simulation On A Cluster Of Workstations. 629-641
  
• Luis Garcés-Erice, Ernst W. Biersack, Keith W. Ross, Pascal Felber, Guillaume Urvoy-Keller:
  Hierarchical Peer-To-Peer Systems. 643-657
  
• Eunice E. Santos:
  Tridiagonal Solvers With Multiple Right Hand Sides On K-Dimensional Mesh And Torus Interconnection Networks. 659-672
  
• Arvind Gupta, Ramesh Krishnamurti:
  Parallel Algorithms For Vehicle Routing Problems. 673-687
  
• Natsuhiko Futamura, Srinivas Aluru, Xiaoqiu Huang:
  Parallel Syntenic Alignments. 689-703
  
• Jie Wu, Li Sheng:
  Deadlock-Free Routing In Irregular Networks Using Prefix Routing. 705-720
  
• Alex Gontmakher, Sergey Polyakov, Assaf Schuster:
  Complexity Of Verifying Java Shared Memory Execution. 721-733