↓ Skip to main content

PARLE '93 Parallel Architectures and Languages Europe

Overview of attention for book
Cover of 'PARLE '93 Parallel Architectures and Languages Europe'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Simulation-based comparison of hash functions for emulated shared memory
  3. Altmetric Badge
    Chapter 2 Task management, virtual shared memory, and multithreading in a distributed memory implementation of Sisal
  4. Altmetric Badge
    Chapter 3 Simulating the data diffusion machine
  5. Altmetric Badge
    Chapter 4 2DT-FP: An FP based programming language for efficient parallel programming of multiprocessor networks
  6. Altmetric Badge
    Chapter 5 The data-parallel categorical abstract machine
  7. Altmetric Badge
    Chapter 6 Data parallel implementation of extensible sparse functional arrays
  8. Altmetric Badge
    Chapter 7 Embeddings of tree-related networks in incomplete hypercubes
  9. Altmetric Badge
    Chapter 8 Static and dynamic performance of the Möbius cubes (short version)
  10. Altmetric Badge
    Chapter 9 Optimal mappings of m dimensional FFT communication to k dimensional mesh for arbitrary m and k
  11. Altmetric Badge
    Chapter 10 Implicit parallelism: The united functions and objects approach
  12. Altmetric Badge
    Chapter 11 Detection of recurrences in sequential programs with loops
  13. Altmetric Badge
    Chapter 12 Parallel programming using skeleton functions
  14. Altmetric Badge
    Chapter 13 Data-parallel portable software platform: Principles and implementation
  15. Altmetric Badge
    Chapter 14 A compositional approach for fault-tolerance using specification transformation
  16. Altmetric Badge
    Chapter 15 Concurrent MetateM — A language for modelling reactive systems
  17. Altmetric Badge
    Chapter 16 Trace-based compositional reasoning about fault tolerant systems
  18. Altmetric Badge
    Chapter 17 A Kahn principle for networks of nonmonotonic real-time processes
  19. Altmetric Badge
    Chapter 18 Adaptive multicast wormhole routing in 2D mesh multicomputer
  20. Altmetric Badge
    Chapter 19 The impact of packetization in wormhole-routed networks
  21. Altmetric Badge
    Chapter 20 Grouping virtual channels for deadlock-free adaptive wormhole routing
  22. Altmetric Badge
    Chapter 21 Monaco: A high-performance flat concurrent logic programming system
  23. Altmetric Badge
    Chapter 22 Exploiting recursion-parallelism in Prolog
  24. Altmetric Badge
    Chapter 23 Why and how in the ElipSys OR-parallel CLP system
  25. Altmetric Badge
    Chapter 24 Skewed-associative caches
  26. Altmetric Badge
    Chapter 25 Trace-splitting for the parallel simulation of cache memory
  27. Altmetric Badge
    Chapter 26 Locality and false sharing in coherent-cache parallel graph reduction
  28. Altmetric Badge
    Chapter 27 SLiD — A cost-effective and Scalable Limited-Directory scheme for cache coherence
  29. Altmetric Badge
    Chapter 28 Formal development of actor programs using structured algebraic petri nets
  30. Altmetric Badge
    Chapter 29 A Parallel programming style and its algebra of programs
  31. Altmetric Badge
    Chapter 30 B(PN) 2 — a basic Petri net programming notation
  32. Altmetric Badge
    Chapter 31 A calculus of value broadcasts
  33. Altmetric Badge
    Chapter 32 TRAPPER: A graphical programming environment for industrial high-performance applications
  34. Altmetric Badge
    Chapter 33 Control and data flow visualization for parallel logic programs on a multi-window debugger HyperDEBU
  35. Altmetric Badge
    Chapter 34 Artificial neural networks for the bipartite and k -partite subgraph problems
  36. Altmetric Badge
    Chapter 35 Homogeneous neuronlike structures for optimization variational problem solving
  37. Altmetric Badge
    Chapter 36 Effectiveness of heuristics and simulated annealing for the scheduling of concurrent tasks — An empirical comparison
  38. Altmetric Badge
    Chapter 37 Task scheduling with restricted preemptions
  39. Altmetric Badge
    Chapter 38 Effects of job size irregularity on the dynamic resource scheduling of a 2-D mesh multicomputer
  40. Altmetric Badge
    Chapter 39 Static allocation of tasks on multiprocessor architectures with interprocessor communication delays
  41. Altmetric Badge
    Chapter 40 PEI: a single unifying model to design parallel programs
  42. Altmetric Badge
    Chapter 41 Correctness of automated distribution of sequential programs
  43. Altmetric Badge
    Chapter 42 Compositionality issues of concurrent object-oriented logic languages
  44. Altmetric Badge
    Chapter 43 Using state variables for the specification and verification of TCSP processes
  45. Altmetric Badge
    Chapter 44 A parallel reduction of Hamiltonian cycle to Hamiltonian Path in tournaments
  46. Altmetric Badge
    Chapter 45 A unifying look at semigroup computations on meshes with multiple broadcasting
  47. Altmetric Badge
    Chapter 46 A fast, simple algorithm to balance a parallel multiway merge
  48. Altmetric Badge
    Chapter 47 Some design aspects for VLIW architectures exploiting fine-grained parallelism
  49. Altmetric Badge
    Chapter 48 Load balanced optimisation of virtualised algorithms for implementation on massively parallel SIMD architectures
  50. Altmetric Badge
    Chapter 49 Performance evaluation of WASMII: a data driven computer on a virtual hardware
  51. Altmetric Badge
    Chapter 50 On the performance of parallel join processing in shared nothing database systems
  52. Altmetric Badge
    Chapter 51 Processing transactions on GRIP, a parallel graph reducer
  53. Altmetric Badge
    Chapter 52 Arithmetic for parallel linear recursive query evaluation in deductive databases
  54. Altmetric Badge
    Chapter 53 Computing the complete orthogonal decomposition using a SIMD array processor
  55. Altmetric Badge
    Chapter 54 A dynamic load balancing strategy for massively parallel computers
  56. Altmetric Badge
    Chapter 55 Issues in event abstraction
  57. Altmetric Badge
    Chapter 56 Modelling replicated processing
  58. Altmetric Badge
    Chapter 57 Performance of M3S for the SOR algorithm
  59. Altmetric Badge
    Chapter 58 Multi-criteria: Degrees of recoverability in distributed databases
  60. Altmetric Badge
    Chapter 59 Deadlock-free adaptive routing algorithms for the 3D-torus: Limitations and solutions
  61. Altmetric Badge
    Chapter 60 Convergence of asynchronous iterations of least fixed points
  62. Altmetric Badge
    Chapter 61 LU-decomposition on a massively parallel transputer system
  63. Altmetric Badge
    Chapter 62 PSEE: Parallel system evaluation environment
  64. Altmetric Badge
    Chapter 63 Implementation of a digital modular chip for a reconfigurable artificial neural network
  65. Altmetric Badge
    Chapter 64 Article-acquisition: A scenario for non-serializability in a distributed database
  66. Altmetric Badge
    Chapter 65 An empirical study of vision programs for data dependence analysis
  67. Altmetric Badge
    Chapter 66 Cyclic weighted reference counting without delay
  68. Altmetric Badge
    Chapter 67 Parallel optimisation of join queries using an enhanced iterative improvement technique
  69. Altmetric Badge
    Chapter 68 Precis : Distributed shortest path algorithms
  70. Altmetric Badge
    Chapter 69 A disabling of event structures
  71. Altmetric Badge
    Chapter 70 Barrier semantics in very weak memory
  72. Altmetric Badge
    Chapter 71 Using hammock graphs to eliminate nonstructured branch statements
  73. Altmetric Badge
    Chapter 72 Performance modeling of microkernel thread schedulers for shared memory multiprocessors
  74. Altmetric Badge
    Chapter 73 From data flow networks to process algebras
  75. Altmetric Badge
    Chapter 74 Parallel complexity of lattice basis reduction and a floating-point parallel algorithm
  76. Altmetric Badge
    Chapter 75 Computer vision applications experience with actors
  77. Altmetric Badge
    Chapter 76 Grid massively parallel processor
  78. Altmetric Badge
    Chapter 77 APPLAUSE: Application & assessment of parallel programming using logic
  79. Altmetric Badge
    Chapter 78 EPOCH — European parallel operating system based on Chorus
  80. Altmetric Badge
    Chapter 79 Pythagoras project overview (EP7091)
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
11 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
PARLE '93 Parallel Architectures and Languages Europe
Published by
Springer Science & Business Media, June 1993
DOI 10.1007/3-540-56891-3
ISBNs
978-3-54-056891-9, 978-3-54-047779-2
Editors

Bode, Arndt, Reeve, Mike, Wolf, Gottfried

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 11 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 9%
Unknown 10 91%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 36%
Student > Doctoral Student 1 9%
Student > Master 1 9%
Unknown 5 45%
Readers by discipline Count As %
Computer Science 5 45%
Engineering 1 9%
Unknown 5 45%