Detailansicht
PARLE '93 Parallel Architectures and Languages Europe
5th International PARLE Conference, Munich, Germany, June 14-17,1993.Proceedings, Lecture Notes in Computer Science 694
ISBN/EAN: 9783540568919
Umbreit-Nr.: 1431371
Sprache:
Englisch
Umfang: xviii, 778 S.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 07.06.1993
- Zusatztext
- InhaltsangabeSimulation-based comparison of hash functions for emulated shared memory.- Task management, virtual shared memory, and multithreading in a distributed memory implementation of Sisal.- Simulating the data diffusion machine.- 2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks.- The data-parallel categorical abstract machine.- Data parallel implementation of extensible sparse functional arrays.- Embeddings of tree-related networks in incomplete hypercubes.- Static and dynamic performance of the Möbius cubes (short version).- Optimal mappings of m dimensional FFT communication to k dimensional mesh for arbitrary m and k.- Implicit parallelism: The united functions and objects approach.- Detection of recurrences in sequential programs with loops.- Parallel programming using skeleton functions.- Data-parallel portable software platform: Principles and implementation.- A compositional approach for fault-tolerance using specification transformation.- Concurrent MetateM - A language for modelling reactive systems.- Trace-based compositional reasoning about fault tolerant systems.- A Kahn principle for networks of nonmonotonic real-time processes.- Adaptive multicast wormhole routing in 2D mesh multicomputer.- The impact of packetization in wormhole-routed networks.- Grouping virtual channels for deadlock-free adaptive wormhole routing.- Monaco: A high-performance flat concurrent logic programming system.- Exploiting recursion-parallelism in Prolog.- Why and how in the ElipSys OR-parallel CLP system.- Skewed-associative caches.- Trace-splitting for the parallel simulation of cache memory.- Locality and false sharing in coherent-cache parallel graph reduction.- SLiD - A cost-effective and Scalable Limited-Directory scheme for cache coherence.- Formal development of actor programs using structured algebraic petri nets.- A Parallel programming style and its algebra of programs.- B(PN) 2 - a basic Petri net programming notation.- A calculus of value broadcasts.- TRAPPER: A graphical programming environment for industrial high-performance applications.- Control and data flow visualization for parallel logic programs on a multi-window debugger HyperDEBU.- Artificial neural networks for the bipartite and k-partite subgraph problems.- Homogeneous neuronlike structures for optimization variational problem solving.- Effectiveness of heuristics and simulated annealing for the scheduling of concurrent tasks - An empirical comparison.- Task scheduling with restricted preemptions.- Effects of job size irregularity on the dynamic resource scheduling of a 2-D mesh multicomputer.- Static allocation of tasks on multiprocessor architectures with interprocessor communication delays.- PEI: a single unifying model to design parallel programs.- Correctness of automated distribution of sequential programs.- Compositionality issues of concurrent object-oriented logic languages.- Using state variables for the specification and verification of TCSP processes.- A parallel reduction of Hamiltonian cycle to Hamiltonian Path in tournaments.- A unifying look at semigroup computations on meshes with multiple broadcasting.- A fast, simple algorithm to balance a parallel multiway merge.- Some design aspects for VLIW architectures exploiting fine-grained parallelism.- Load balanced optimisation of virtualised algorithms for implementation on massively parallel SIMD architectures.- Performance evaluation of WASMII: a data driven computer on a virtual hardware.- On the performance of parallel join processing in shared nothing database systems.- Processing transactions on GRIP, a parallel graph reducer.- Arithmetic for parallel linear recursive query evaluation in deductive databases.- Computing the complete orthogonal decomposition using a SIMD array processor.- A dynamic load balancing strategy for massively parallel computers.- Issues in event abstraction.- Modelling replicated processing.- Performance of M3S for the SOR