Table of Contents

• Simulation-based Comparison of Hash Functions for Emulated Shared MemoryCurd Engelmann, Jörg Keller. 1-11
• Task Management, Virtual Shared Memory, and Multithreading in a Distributed Memory Implementation of SisalMatthew Haines, A. P. Wim Böhm. 12-23
• Simulating the Data Diffusion MachineErik Hagersten, Mats Grindal, Anders Landin, Ashley Saulsbury, Bengt Werner, Seif Haridi. 24-41
• 2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor NetworksYosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm. 42-55
• The Data-Parallel Categorical Abstract MachineGaétan Hains, Christian Foisy. 56-67
• Data Parallel Implementation of Extensible Sparse Functional ArraysJohn T. O Donnell. 68-79
• Embeddings of Tree-Related Networks in Incomplete HypercubesSabine R. Öhring, Sajal K. Das. 80-91
• Static and Dynamic Performance of the Möbius CubesPaul Cull, Shawn M. Larson. 92-103
• Optimal Mappings of m Dimensional FFT Communication to k Dimensional Mesh for Arbitrary m and kZ. George Mou, Xiaojing Wang. 104-119
• Implicit Parallelism: The United Functions and Objects ApproachJohn Sargeant. 120-131
• Detection of Recurrences in Sequential Programs with LoopsXavier Redon, Paul Feautrier. 132-145
• Parallel Programming Using Skeleton FunctionsJohn Darlington, A. J. Field, Peter G. Harrison, Paul H. J. Kelly, David W. N. Sharp, Qian Wu. 146-160
• Data-Parallel Portable Software Platform: Principles and ImplementationVyacheslav B. Muchnick, Alexander V. Shafarenko, C. D. Sutton. 161-172
• A Compositional Approach for Fault-Tolerance Using Specification TransformationDoron Peled, Mathai Joseph. 173-184
• Concurrent METATEM - A Language for Modelling Reactive SystemsMichael Fisher. 185-196
• Trace-Based Compositional Reasoning about Fault Tolerant SystemsHenk Schepers, Jozef Hooman. 197-208
• A Kahn Principle for Networks of Nonmonotonic Real-time ProcessesRobert Kim Yates, Guang R. Gao. 209-227
• Adaptive Multicast Wormhole Routing in 2D Mesh MulticomputersXiaola Lin, Philip K. McKinley, Abdol-Hossein Esfahanian. 228-241
• The Impact of Packetization in Wormhole-Routed NetworksJae H. Kim, Andrew A. Chien. 242-253
• Grouping Virtual Channels for Deadlock-Free Adaptive Wormhole RoutingZiqiang Liu, José Duato, Lars-Erik Thorelli. 254-265
• Monaco: A High-Performance Flat Concurrent Logic Programming SystemEvan Tick. 266-278
• Exploiting Recursion-Parallelism in PrologJohan Bevemyr, Thomas Lindgren, Håkan Millroth. 279-290
• Why and How in the ElipSys OR-parallel CLP SystemAndré Véron, Kees Schuerman, Mike Reeve, Liang-Liang Li. 291-303
• Skewed-associative CachesAndré Seznec, François Bodin. 304-316
• Trace-Splitting for the Parallel Simulation of Cache MemoryNicholas Ironmonger. 317-328
• Localtiy and False Sharing in Coherent-Cache Parallel Graph ReductionAndrew J. Bennett, Paul H. J. Kelly. 329-340
• SLID - A Cost-Effektive and Scalable Limited-Directory Scheme for Cache CoherenceGuoying Chen. 341-352
• Formal Development of Actor Programs Using Structured Algebraic Petri NetsDidier Buchs, Nicolas Guelfi. 353-366
• A Parallel Programming Style and Its Algebra of ProgramsChris Hankin, Daniel Le Métayer, David Sands. 367-378
• B(PN):::2::: - a Basic Petri Net Programming NotationEike Best, Richard P. Hopkins. 379-390
• A Calculus of Value BroadcastsK. V. S. Prasad. 391-402
• TRAPPER: A Graphical Programming Environment for Industrial High-Performance ApplicationsChristian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann. 403-413
• Control and Data Flow Visualization for Parallel Logic Programs on a Multi-window Debugger HyperDEBUJun ichi Tatemura, Hanpei Koike, Hidehiko Tanaka. 414-425
• Artificial Neural Networks for the Bipartite and K-partite Subgraph ProblemsJenn-Shiang Lai, Young-Ja Ko, Sy-Yen Kuo. 426-437
• Homogeneous Neuronlike Structures for Optimization Variational Problem SolvingI. A. Kalyayev. 438-451
• Effectiveness of Heuristics and Simulated Annealing for the Scheduling of Concurrent Tasks - An Empirical ComparisonChristophe Coroyer, Zhen Liu. 452-463
• Task Scheduling with Restricted PreemptionsKlaus Ecker, Reiner Hirschberg. 464-475
• Effects of Job Size Irregularity on the Dynamic Resource Scheduling of a 2-D Mesh MulticomputerDugki Min, Matt W. Mutka. 476-487
• Static Allocation of Tasks on Multiprocessor Architectures with Interprocessor Communication DelaysSylvie Norre. 488-499
• PEI: a Single Unifying Model to Design Parallel ProgramsEric Violard, Guy-René Perrin. 500-516
• Correctness of Automated Distribution of Sequential ProgramsCyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval. 517-528
• Compositionality Issues of Concurrent Object-Oriented Logic LanguagesErnesto Pimentel, José M. Troya. 529-540
• Using State Variables for the Specification and Verfication of TCSP ProcessesLuis M. Alonso. 541-552
• A Parallel Reduction of Hamiltonian Cycle to Hamiltonian Path in TournamentsEvripidis Bampis, Mohamed El Haddad, Yannis Manoussakis, Miklos Santha. 553-560
• A Unifying Look at Semigroup Computations on Meshes with Multiple BroadcastingDharmavani Bhagavathi, Stephan Olariu, W. Shen, Larry Wilson. 561-569
• A Fast, Simple Algorithm to Balance a Parallel Multiway MergeRhys S. Francis, Ian D. Mathieson, Linda Pannan. 570-581
• Some Design Aspects for VLIW Architectures Exploiting Fine - Grained ParallelismWolfgang Karl. 582-599
• Load Balanced Optimisation of Virtualised Algorithms for Implementation on Massively Parallel SIMD ArchitecturesCraig A. Farrell, Dorota H. Kieronska. 600-609
• Performance evaluation of WASMII: a data driven computer on a virtual hardwareXiao-ping Ling, Hideharu Amano. 610-621
• On the Performance of Parallel Join Processing in Shared Nothing Database SystemsRobert Marek, Erhard Rahm. 622-633
• Processing Transactions on GRIP, a Parallel Graph ReducerGert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder. 634-647
• Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive DatabasesJerome Robinson, Shutian Lin. 648-659
• Computing the Complete Orthogonal Decomposition Using a SIMD Array ProcessorErricos John Kontoghiorghes, M. R. B. Clarke. 660-663
• A Dynamic Load Balancing Strategy for Massively Parallel ComputersMario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia. 664-667
• Issues in Event AbstractionThomas Kunz. 668-671
• Modelling Replicated ProcessingMaciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo. 672-675
• Performance of M3S for the SOR algorithmChristine Rochange, Pascal Sainrat, Daniel Litaize. 676-679
• Multi-Criteria: Degrees of Recoverability in Distributed DatabasesMads Nygård, Sintef Delab. 680-683
• Deadlock-Free Adaptive Routing Algorithms for the 3D-Torus: Limitations and SolutionsPedro López, José Duato. 684-687
• Convergence of Asynchronous Iterations of Least Fixed PointsJiawang Wei. 688-691
• LU-Decomposition on a Massively Parallel Transputer SystemStefan Lüpke. 692-695
• PSEE: Parallel System Evaluation EnvironmentEmilio Luque, Remo Suppi, Joan Sorribes. 696-699
• Implementation of a Digital Modular Chip for a Reconfigurable Artificial Neural NetworkSimin H. Pakzad, Paul Plaskonos. 700-703
• Article-Acquisition: A Scenario for Non-Serializability in a Distributed DatabaseMads Nygård, Sintef Delab. 704-707
• An Empirical Study of Vision Programs for Data Dependence AnalysisLuis Angel Barragan, Armando Roy. 708-711
• Cyclic Weighted Reference Counting without DelayRichard E. Jones, Rafael Dueire Lins. 712-715
• Parallel Optimisation of Join Queries Using an Enhanced Iterative Improvement TechniqueMyra Spiliopoulou, Yannis Cotronis, Michael Hatzopoulos. 716-719
• Precis: Distributed Shortest Path AlgorithmsJesper Larsson Träff. 720-723
• A Disabling of Event StructuresNikolay A. Anisimov. 724-727
• Barrier Semantics in Very Weak MemoryArnold Neville Pears, Rhys S. Francis. 728-731
• Using Hammock Graphs to Eliminate Nonstructured Branch StatementsFubo Zhang, Erik H. D Hollander. 732-735
• Performance Modeling of Microkernel Thread Schedulers for Shared Memory MultiprocessorsWim Van de Velde, Johan Opsommer, Erik H. D Hollander. 736-739
• From Data Flow Networks to Process AlgebrasCinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini. 740-743
• Parallel Complexitiy of Lattice Basis Reduction and a Floating-Point Parallel AlgorithmChristian Heckler, Lothar Thiele. 744-747
• Computer Vision Applications Experience with ActorsFrancesca Arcelli Fontana, Massimo De Santo, Michele Di Santo. 748-751
• Grid Massively Parallel ProcessorValeri P. Il in, Yakov I. Fet. 752-755
• Applause: Application & Assessment of Parallel Programming Using LogicLiang-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. 756-759
• EPOCH - European Parallel Operating System based on ChorusLothar Borrmann, Erol Gelenbe, Isabella Hofstetter, Petro Istavrinos, Karl Klaus, Mike Ward. 760-763
• Pythagoras Project Overview (EP7091)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. 764-768