5. PARLE 1993: Munich, Germany

Architectures: Virtual Shared Memory

• Curd Engelmann, Jörg Keller:
  Simulation-based Comparison of Hash Functions for Emulated Shared Memory. 1-11
  
• Matthew Haines, A. P. Wim Böhm:
  Task Management, Virtual Shared Memory, and Multithreading in a Distributed Memory Implementation of Sisal. 12-23
  
• Erik Hagersten, Mats Grindal, Anders Landin, Ashley Saulsbury, Bengt Werner, Seif Haridi:
  Simulating the Data Diffusion Machine. 24-41
  

Functional Programming

• Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm:
  2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks. 42-55
  
• Gaétan Hains, Christian Foisy:
  The Data-Parallel Categorical Abstract Machine. 56-67
  
• John T. O'Donnell:
  Data Parallel Implementation of Extensible Sparse Functional Arrays. 68-79
  

Interconnection Networks: Embeddings

• Sabine R. Öhring, Sajal K. Das:
  Embeddings of Tree-Related Networks in Incomplete Hypercubes. 80-91
  
• Paul Cull, Shawn M. Larson:
  Static and Dynamic Performance of the Möbius Cubes. 92-103
  
• Z. George Mou, Xiaojing Wang:
  Optimal Mappings of m Dimensional FFT Communication to k Dimensional Mesh for Arbitrary m and k. 104-119
  

Language Issues

• John Sargeant:
  Implicit Parallelism: The United Functions and Objects Approach. 120-131
  
• Xavier Redon, Paul Feautrier:
  Detection of Recurrences in Sequential Programs with Loops. 132-145
  
• John Darlington, A. J. Field, Peter G. Harrison, Paul H. J. Kelly, David W. N. Sharp, Qian Wu:
  Parallel Programming Using Skeleton Functions. 146-160
  
• Vyacheslav B. Muchnick, Alexander V. Shafarenko, C. D. Sutton:
  Data-Parallel Portable Software Platform: Principles and Implementation. 161-172
  

Concurrency: Responsive Systems

• Doron Peled, Mathai Joseph:
  A Compositional Approach for Fault-Tolerance Using Specification Transformation. 173-184
  
• Michael Fisher:
  Concurrent METATEM - A Language for Modelling Reactive Systems. 185-196
  
• Henk Schepers, Jozef Hooman:
  Trace-Based Compositional Reasoning about Fault Tolerant Systems. 197-208
  
• Robert Kim Yates, Guang R. Gao:
  A Kahn Principle for Networks of Nonmonotonic Real-time Processes. 209-227
  

Interconnection Networks: Routing

• Xiaola Lin, Philip K. McKinley, Abdol-Hossein Esfahanian:
  Adaptive Multicast Wormhole Routing in 2D Mesh Multicomputers. 228-241
  
• Jae H. Kim, Andrew A. Chien:
  The Impact of Packetization in Wormhole-Routed Networks. 242-253
  
• Ziqiang Liu, José Duato, Lars-Erik Thorelli:
  Grouping Virtual Channels for Deadlock-Free Adaptive Wormhole Routing. 254-265
  

Logic Programming

• Evan Tick:
  Monaco: A High-Performance Flat Concurrent Logic Programming System. 266-278
  
• Johan Bevemyr, Thomas Lindgren, Håkan Millroth:
  Exploiting Recursion-Parallelism in Prolog. 279-290
  
• André Véron, Kees Schuerman, Mike Reeve, Liang-Liang Li:
  Why and How in the ElipSys OR-parallel CLP System. 291-303
  

Architectures: Caches

• André Seznec, François Bodin:
  Skewed-associative Caches. 304-316
  
• Nicholas Ironmonger:
  Trace-Splitting for the Parallel Simulation of Cache Memory. 317-328
  
• Andrew J. Bennett, Paul H. J. Kelly:
  Localtiy and False Sharing in Coherent-Cache Parallel Graph Reduction. 329-340
  
• Guoying Chen:
  SLID - A Cost-Effektive and Scalable Limited-Directory Scheme for Cache Coherence. 341-352
  

Concurrency: Semantics

• Didier Buchs, Nicolas Guelfi:
  Formal Development of Actor Programs Using Structured Algebraic Petri Nets. 353-366
  
• Chris Hankin, Daniel Le Métayer, David Sands:
  A Parallel Programming Style and Its Algebra of Programs. 367-378
  
• Eike Best, Richard P. Hopkins:
  B(PN)² - a Basic Petri Net Programming Notation. 379-390
  
• K. V. S. Prasad:
  A Calculus of Value Broadcasts. 391-402
  

Tools

• Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann:
  TRAPPER: A Graphical Programming Environment for Industrial High-Performance Applications. 403-413
  
• Jun'ichi Tatemura, Hanpei Koike, Hidehiko Tanaka:
  Control and Data Flow Visualization for Parallel Logic Programs on a Multi-window Debugger HyperDEBU. 414-425
  

Neural Networks

• Jenn-Shiang Lai, Young-Ja Ko, Sy-Yen Kuo:
  Artificial Neural Networks for the Bipartite and K-partite Subgraph Problems. 426-437
  
• I. A. Kalyayev:
  Homogeneous Neuronlike Structures for Optimization Variational Problem Solving. 438-451
  

Scheduling

• Christophe Coroyer, Zhen Liu:
  Effectiveness of Heuristics and Simulated Annealing for the Scheduling of Concurrent Tasks - An Empirical Comparison. 452-463
  
• Klaus Ecker, Reiner Hirschberg:
  Task Scheduling with Restricted Preemptions. 464-475
  
• Dugki Min, Matt W. Mutka:
  Effects of Job Size Irregularity on the Dynamic Resource Scheduling of a 2-D Mesh Multicomputer. 476-487
  
• Sylvie Norre:
  Static Allocation of Tasks on Multiprocessor Architectures with Interprocessor Communication Delays. 488-499
  

Specification, Verification

• Eric Violard, Guy-René Perrin:
  PEI: a Single Unifying Model to Design Parallel Programs. 500-516
  
• Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval:
  Correctness of Automated Distribution of Sequential Programs. 517-528
  
• Ernesto Pimentel, José M. Troya:
  Compositionality Issues of Concurrent Object-Oriented Logic Languages. 529-540
  
• Luis M. Alonso:
  Using State Variables for the Specification and Verfication of TCSP Processes. 541-552
  

Algorithms

• Evripidis Bampis, Mohamed El Haddad, Yannis Manoussakis, Miklos Santha:
  A Parallel Reduction of Hamiltonian Cycle to Hamiltonian Path in Tournaments. 553-560
  
• Dharmavani Bhagavathi, Stephan Olariu, W. Shen, Larry Wilson:
  A Unifying Look at Semigroup Computations on Meshes with Multiple Broadcasting. 561-569
  
• Rhys S. Francis, Ian D. Mathieson, Linda Pannan:
  A Fast, Simple Algorithm to Balance a Parallel Multiway Merge. 570-581
  

Architectures: Fine Grain Parallelism

• Wolfgang Karl:
  Some Design Aspects for VLIW Architectures Exploiting Fine - Grained Parallelism. 582-599
  
• Craig A. Farrell, Dorota H. Kieronska:
  Load Balanced Optimisation of Virtualised Algorithms for Implementation on Massively Parallel SIMD Architectures. 600-609
  
• Xiao-ping Ling, Hideharu Amano:
  Performance evaluation of WASMII: a data driven computer on a virtual hardware. 610-621
  

Databases

• Robert Marek, Erhard Rahm:
  On the Performance of Parallel Join Processing in Shared Nothing Database Systems. 622-633
  
• Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder:
  Processing Transactions on GRIP, a Parallel Graph Reducer. 634-647
  
• Jerome Robinson, Shutian Lin:
  Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases. 648-659
  

Regular Posters

• Erricos John Kontoghiorghes, M. R. B. Clarke:
  Computing the Complete Orthogonal Decomposition Using a SIMD Array Processor. 660-663
  
• Mario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia:
  A Dynamic Load Balancing Strategy for Massively Parallel Computers. 664-667
  
• Thomas Kunz:
  Issues in Event Abstraction. 668-671
  
• Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo:
  Modelling Replicated Processing. 672-675
  
• Christine Rochange, Pascal Sainrat, Daniel Litaize:
  Performance of M3S for the SOR algorithm. 676-679
  
• Mads Nygård, Sintef Delab:
  Multi-Criteria: Degrees of Recoverability in Distributed Databases. 680-683
  
• Pedro López, José Duato:
  Deadlock-Free Adaptive Routing Algorithms for the 3D-Torus: Limitations and Solutions. 684-687
  
• Jiawang Wei:
  Convergence of Asynchronous Iterations of Least Fixed Points. 688-691
  
• Stefan Lüpke:
  LU-Decomposition on a Massively Parallel Transputer System. 692-695
  
• Emilio Luque, Remo Suppi, Joan Sorribes:
  PSEE: Parallel System Evaluation Environment. 696-699
  
• Simin H. Pakzad, Paul Plaskonos:
  Implementation of a Digital Modular Chip for a Reconfigurable Artificial Neural Network. 700-703
  
• Mads Nygård, Sintef Delab:
  Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database. 704-707
  
• Luis Angel Barragan, Armando Roy:
  An Empirical Study of Vision Programs for Data Dependence Analysis. 708-711
  
• Richard E. Jones, Rafael Dueire Lins:
  Cyclic Weighted Reference Counting without Delay. 712-715
  
• Myra Spiliopoulou, Yannis Cotronis, Michael Hatzopoulos:
  Parallel Optimisation of Join Queries Using an Enhanced Iterative Improvement Technique. 716-719
  
• Jesper Larsson Träff:
  Precis: Distributed Shortest Path Algorithms. 720-723
  
• Nikolay A. Anisimov:
  A Disabling of Event Structures. 724-727
  
• Arnold Neville Pears, Rhys S. Francis:
  Barrier Semantics in Very Weak Memory. 728-731
  
• Fubo Zhang, Erik H. D'Hollander:
  Using Hammock Graphs to Eliminate Nonstructured Branch Statements. 732-735
  
• Wim Van de Velde, Johan Opsommer, Erik H. D'Hollander:
  Performance Modeling of Microkernel Thread Schedulers for Shared Memory Multiprocessors. 736-739
  
• Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini:
  From Data Flow Networks to Process Algebras. 740-743
  
• Christian Heckler, Lothar Thiele:
  Parallel Complexitiy of Lattice Basis Reduction and a Floating-Point Parallel Algorithm. 744-747
  
• Francesca Arcelli Fontana, Massimo De Santo, Michele Di Santo:
  Computer Vision Applications Experience with Actors. 748-751
  
• Valeri P. Il'in, Yakov I. Fet:
  Grid Massively Parallel Processor. 752-755
  

ESPRIT Project Overvies

• Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Angelos Kolokouris, Takis Stamatopoulos, Dominic A. Clark, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu:
  Applause: Application & Assessment of Parallel Programming Using Logic. 756-759
  
• Lothar Borrmann, Erol Gelenbe, Isabella Hofstetter, Petro Istavrinos, Karl Klaus, Mike Ward:
  EPOCH - European Parallel Operating System based on Chorus. 760-763
  
• Kam-Fai Wong, M. Howard Williams, S. Leunig, Martin L. Kersten, M. Jean-Noel, Béatrice Finance, Benoît Dageville, Michel Couprie, Phil Broughton, Didier Boudigue, Björn Bergsten, Frédéric Andrès:
  Pythagoras Project Overview (EP7091). 764-768