Parallel processing offers a solution to the problem of providing the processing power necessary to help understand and master the complexity of natural phenomena and engineering structures. By taking several basic processing devices and connecting them together the potential exists of achieving a performance many times that of an individual device. However, building parallel application programs is today recognized as a highly complex activity requiring specialist skills and in-depth knowledge. PARLE is an international, European based conference which focuses on the parallel processing subdomain of informatics and information technology. It is intended to become THE European forum for interchange between experts in the parallel processing domain and to attract both industrial and academic participants with a technical programme designedto provide a balance between theory and practice. This volume contains the proceedings of PARLE '93. The PARLE conference came into existence in 1987 as an initiative from the ESPRIT I programme and the format was revised in 1991/92. PARLE '93 is the second conference with the new format and was held in Munich.
Author(s): Curd Engelmann, Jörg Keller (auth.), Arndt Bode, Mike Reeve, Gottfried Wolf (eds.)
Series: Lecture Notes in Computer Science 694
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Language: English
Pages: 778
Tags: Processor Architectures; Computer Communication Networks; Special Purpose and Application-Based Systems; System Performance and Evaluation; Programming Techniques; Operating Systems
Simulation-based comparison of hash functions for emulated shared memory....Pages 1-11
Task management, virtual shared memory, and multithreading in a distributed memory implementation of Sisal....Pages 12-23
Simulating the data diffusion machine....Pages 24-41
2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks....Pages 42-55
The data-parallel categorical abstract machine....Pages 56-67
Data parallel implementation of extensible sparse functional arrays....Pages 68-79
Embeddings of tree-related networks in incomplete hypercubes....Pages 80-91
Static and dynamic performance of the Möbius cubes (short version)....Pages 92-103
Optimal mappings of m dimensional FFT communication to k dimensional mesh for arbitrary m and k....Pages 104-119
Implicit parallelism: The united functions and objects approach....Pages 120-131
Detection of recurrences in sequential programs with loops....Pages 132-145
Parallel programming using skeleton functions....Pages 146-160
Data-parallel portable software platform: Principles and implementation....Pages 161-172
A compositional approach for fault-tolerance using specification transformation....Pages 173-184
Concurrent MetateM — A language for modelling reactive systems....Pages 185-196
Trace-based compositional reasoning about fault tolerant systems....Pages 197-208
A Kahn principle for networks of nonmonotonic real-time processes....Pages 209-227
Adaptive multicast wormhole routing in 2D mesh multicomputer....Pages 228-241
The impact of packetization in wormhole-routed networks....Pages 242-253
Grouping virtual channels for deadlock-free adaptive wormhole routing....Pages 254-265
Monaco: A high-performance flat concurrent logic programming system....Pages 266-278
Exploiting recursion-parallelism in Prolog....Pages 279-290
Why and how in the ElipSys OR-parallel CLP system....Pages 291-304
Skewed-associative caches....Pages 305-316
Trace-splitting for the parallel simulation of cache memory....Pages 317-328
Locality and false sharing in coherent-cache parallel graph reduction....Pages 329-340
SLiD — A cost-effective and Scalable Limited-Directory scheme for cache coherence....Pages 341-352
Formal development of actor programs using structured algebraic petri nets....Pages 353-366
A Parallel programming style and its algebra of programs....Pages 367-378
B(PN) 2 — a basic Petri net programming notation....Pages 379-390
A calculus of value broadcasts....Pages 391-402
TRAPPER: A graphical programming environment for industrial high-performance applications....Pages 403-413
Control and data flow visualization for parallel logic programs on a multi-window debugger HyperDEBU....Pages 414-425
Artificial neural networks for the bipartite and k -partite subgraph problems....Pages 426-437
Homogeneous neuronlike structures for optimization variational problem solving....Pages 438-451
Effectiveness of heuristics and simulated annealing for the scheduling of concurrent tasks — An empirical comparison....Pages 452-463
Task scheduling with restricted preemptions....Pages 464-475
Effects of job size irregularity on the dynamic resource scheduling of a 2-D mesh multicomputer....Pages 476-487
Static allocation of tasks on multiprocessor architectures with interprocessor communication delays....Pages 488-499
PEI: a single unifying model to design parallel programs....Pages 500-516
Correctness of automated distribution of sequential programs....Pages 517-528
Compositionality issues of concurrent object-oriented logic languages....Pages 529-540
Using state variables for the specification and verification of TCSP processes....Pages 541-552
A parallel reduction of Hamiltonian cycle to Hamiltonian Path in tournaments....Pages 553-560
A unifying look at semigroup computations on meshes with multiple broadcasting....Pages 561-569
A fast, simple algorithm to balance a parallel multiway merge....Pages 570-581
Some design aspects for VLIW architectures exploiting fine-grained parallelism....Pages 582-599
Load balanced optimisation of virtualised algorithms for implementation on massively parallel SIMD architectures....Pages 600-609
Performance evaluation of WASMII: a data driven computer on a virtual hardware....Pages 610-621
On the performance of parallel join processing in shared nothing database systems....Pages 622-633
Processing transactions on GRIP, a parallel graph reducer....Pages 634-647
Arithmetic for parallel linear recursive query evaluation in deductive databases....Pages 648-659
Computing the complete orthogonal decomposition using a SIMD array processor....Pages 660-663
A dynamic load balancing strategy for massively parallel computers....Pages 664-667
Issues in event abstraction....Pages 668-671
Modelling replicated processing....Pages 672-675
Performance of M3S for the SOR algorithm....Pages 676-679
Multi-criteria: Degrees of recoverability in distributed databases....Pages 680-683
Deadlock-free adaptive routing algorithms for the 3D-torus: Limitations and solutions....Pages 684-687
Convergence of asynchronous iterations of least fixed points....Pages 688-691
LU-decomposition on a massively parallel transputer system....Pages 692-695
PSEE: Parallel system evaluation environment....Pages 696-699
Implementation of a digital modular chip for a reconfigurable artificial neural network....Pages 700-703
Article-acquisition: A scenario for non-serializability in a distributed database....Pages 704-707
An empirical study of vision programs for data dependence analysis....Pages 708-711
Cyclic weighted reference counting without delay....Pages 712-715
Parallel optimisation of join queries using an enhanced iterative improvement technique....Pages 716-719
Precis : Distributed shortest path algorithms....Pages 720-723
A disabling of event structures....Pages 724-727
Barrier semantics in very weak memory....Pages 728-731
Using hammock graphs to eliminate nonstructured branch statements....Pages 732-735
Performance modeling of microkernel thread schedulers for shared memory multiprocessors....Pages 736-739
From data flow networks to process algebras....Pages 740-743
Parallel complexity of lattice basis reduction and a floating-point parallel algorithm....Pages 744-747
Computer vision applications experience with actors....Pages 748-751
Grid massively parallel processor....Pages 752-755
APPLAUSE: Application & assessment of parallel programming using logic....Pages 756-759
EPOCH — European parallel operating system based on Chorus....Pages 760-763
Pythagoras project overview (EP7091)....Pages 764-767
