Research Catalog

Title

Parle '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 : proceedings / Arndt Bode, Mike Reeve, Gottfried Wolf, eds.

Author

International PARLE Conference (5th : 1993 : Munich, Germany)

Publication

Berlin ; New York : Springer-Verlag, ©1993.

Items in the Library & Off-site

Details

Additional Authors

• Bode, Arndt.
• Reeve, Mike.
• Wolf, Gottfried.

Description

xvii, 770 pages : illustrations; 23 cm

Summary

"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."--PUBLISHER'S WEBSITE.

Series Statement

Lecture notes in computer science ; 694

Uniform Title

Lecture notes in computer science ; 694.

Subject

• Parallel processing (Electronic computers) > Congresses
• Computer architecture > Congresses
• Parallel computers > Congresses
• Parallel programming (Computer science) > Congresses
• Parallel programming (Computer science)
• Parallel computers
• Computer architecture
• Parallel processing (Electronic computers)
• Architecture des ordinateurs > Congrès
• Parallélisme (informatique) > Congrès
• Programmation parallèle (informatique) > Congrès

Genre/Form

Conference papers and proceedings

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Simulation-Based Comparison of Hash Functions for Emulated Shared Memory / C. Engelmann and J. Keller -- Task Management, Virtual Shared Memory, and Multithreading in a Distributed Memory Implementation of Sisal / M. Haines and W. Bohm -- Simulating the Data Diffusion Machine / E. Hagersten, M. Grindal, A. Landin, A. Saulsbury, B. Werner and S. Haridi -- 2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks / Y. Ben-Asher, G. Runger, A. Schuster and R. Wilhelm -- The Data-Parallel Categorial Abstract Machine / G. Hains and C. Foisy -- Data Parallel Implementation of Extensible Sparse Functional Arrays / J. T. O'Donnell -- Embeddings of Tree-Related Networks in Incomplete Hypercubes / S. Ohring and S. K. Das -- Static and Dynamic Performance of the Mobius Cubes / P. Cull and S. M. Larson -- Optimal Mappings of m Dimensional FFT Communication to k Dimensional Mesh for Arbitrary m and k / Z. G. Mou and X. Wang -- Implicit Parallelism: The United Functions and Objects Approach / J. Sargeant -- Detection of Recurrences in Sequential Programs with Loops / X. Redon and P. Feautrier -- Parallel Programming Using Skeleton Functions / J. Darlington, A. J. Field, P. G. Harrison, P. H. J. Kelly, D. W. N. Sharp, Q. Wu and R. L. While -- Data-Parallel Portable Software Platform: Principles and Implementation / V. B. Muchnick, A. V. Shafarenko and C. D. Sutton -- A Compositional Approach for Fault-Tolerance Using Specification Transformation / D. Peled and M. Joseph -- Concurrent METATEM -- A Language for Modelling Reactive Systems / M. Fisher -- Trace-Based Compositional Reasoning About Fault Tolerant Systems / H. Schepers and J. Hooman -- A Kahn Principle for Networks of Nonmontonic Real-Time Processes / R. K. Yates and G. R. Gao -- Adaptive Multicast Wormhole Routing in 2D Mesh Multicomputers / X. Lin, P. K. McKinley and A.-H. Esfahanian -- The Impact of Packetization in Wormhole-Routed Networks / J. H. Kim and A. A. Chien -- Grouping Virtual Channels for Deadlock-Free Adaptive Wormhole Routing / Z. Liu, J. Duato and L.-E. Thorelli -- Monaco: A High-Performance Flat Concurrent Logic Programming System / E. Tick -- Exploiting Recursion-Parallelism in Prolog / J. Bevemyr, T. Lindgren and H. Millroth -- Why and How in the ElipSys OR-Parallel CLP System / A. Veron, K. Schuerman, M. Reeve and L.-L. Li -- Skewed-Associative Caches / A. Seznec and F. Bodin -- Trace-Splitting for the Parallel Simulation of Cache Memory / N. Ironmonger -- Locality and False Sharing in Coherent-Cache Parallel Graph Reduction / A. J. Bennett and P. H. J. Kelly -- SLiD -- A Cost-Effective and Scalable Limited-Directory Scheme for Cache Coherence / G. Chen -- Formal Development of Actor Programs Using Structured Algebraic Petri Nets / D. Buchs and N. Guelfi -- A Parallel Programming Style and Its Algebra of Programs / C. Hankin, D. Le Metayer and D. Sands -- B(PN)[superscript 2] -- A Basic Petri Net Programming Notation / E. Best and R. P. Hopkins -- A Calculus of Value Broadcasts / K. V. S. Prasad -- TRAPPER: A Graphical Programming Environment for Industrial High-Performance Applications / C. Scheidler, L. Schafers and O. Kramer-Fuhrmann -- Control and Data Flow Visualization for Parallel Logic Programs on a Multi-Window Debugger HyperDEBU / J. Tatemura, H. Koike and H. Tanaka -- Artificial Neural Networks for the Bipartite and K-Partite Subgraph Problems / J.-S. Lai, Y.-J. Ko and S.-Y. Kuo -- Homogeneous Neuronlike Structures for Optimization Variational Problem Solving / I. A. Kalyayev -- Effectiveness of Heuristics and Simulated Annealing for the Scheduling of Concurrent Tasks -- An Empirical Comparison / C. Coroyer and Z. Liu -- Task Scheduling with Restricted Preemptions / K. Ecker and R. Hirschberg -- Effects of Job Size Irregularity on the Dynamic Resource Scheduling of a 2-D Mesh Multicomputer / D. Min and M. W. Mutka -- Static Allocation of Tasks on Multiprocessor Architectures with Interprocessor Communication Delays / S. Norre -- PEI: A Single Unifying Model to Design Parallel Programs / E. Violard and G.-R. Perrin -- Correctness of Automated Distribution of Sequential Programs / C. Bareau, B. Caillaud, C. Jard and R. Thoraval -- Compositionality Issues of Concurrent Object-Oriented Logic Languages / E. Pimentel and J. M. Troya -- Using State Variables for the Specification and Verification of TCSP Processes / L. M. Alonso and R. Pena Mari -- A Parallel Reduction of Hamiltonian Cycle to Hamiltonian Path in Tournaments / E. Bampis, M. El Haddad, Y. Manoussakis and M. Santha -- A Unifying Look at Semigroup Computations on Meshes with Multiple Broadcasting / D. Bhagavathi, S. Olariu, W. Shen and L. Wilson -- A Fast, Simple Algorithm to Balance a Parallel Multiway Merge / R. Francis, I. Mathieson and L. Pannan -- Some Design Aspects for VLIW Architectures Exploiting Fine-Grained Parallelism / W. Karl -- Load Balanced Optimisation of Virtualised Algorithms for Implementation on Massively Parallel SIMD Architectures / C. A. Farrell and D. H. Kieronska -- Performance Evaluation of WASMII: A Data Driven Computer on a Virtual Hardware / X.-P. Ling and H. Amano -- On the Performance of Parallel Join ̃Processing in Shared Nothing Database Systems / R. Marek and E. Rahm -- Processing Transactions on GRIP, a Parallel Graph Reducer / G. Akerholt, K. Hammond, S. Peyton Jones and P. Trinder -- Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases / J. Robinson and S. Lin -- Computing the Complete Orthogonal Decomposition Using a SIMD Array Processor / E. J. Kontoghiorghes and M. R. B. Clarke -- A Dynamic Load Balancing Strategy for Massively Parallel Computers / M. Cannataro, Y. D. Sergeyev, G. Spezzano and D. Talia -- Issues in Event Abstraction / T. Kunz -- Modelling Replicated Processing / M. Koutny, L. V. Mancini and G. Pappalardo -- Performance of M3S for the SOR Algorithm / C. Rochange, P. Sainrat and D. Litaize -- Multi-Criteria: Degrees of Recoverability in Distributed Databases / M. Nygard and S. Delab -- Deadlock-Free Adaptive Routing Algorithms for the 3D-Torus: Limitations and Solutions / P. Lopez and J. Duato -- Convergence of Asynchronous Iterations of Least Fixed Points / J. Wei -- LU-Decomposition on a Massively Parallel Transputer System / S. Lupke -- PSEE: Parallel System Evaluation Environment / E. Luque, R. Suppi and J. Sorribes -- Implementation of a Digital Modular Chip for a Reconfigurable Artificial Neural Network / S. Pakzad and P. Plaskonos -- Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database / M. Nygard and S. Delab -- An Empirical Study of Vision Programs for Data Dependence Analysis / L. A. Barragan and A. Roy -- Cyclic Weighted Reference Counting Without Delay / R. E. Jones and R. D. Lins -- Parallel Optimisation of Join Queries Using an Enhanced Iterative Improvement Technique / M. Spiliopoulou, Y. Cotronis and M. Hatzopoulos -- Precis: Distributed Shortest Path Algorithms / J. L. Traff -- A Disabling of Event Structures / N. A. Anisimov -- Barrier Semantics in Very Weak Memory / A. Pears and R. Francis -- Using Hammock Graphs to Eliminate Nonstructured Branch Statements / F. Zhang and E. H. D'Hollander -- Performance Modeling of Microkernel Thread Schedulers for Shared Memory Multiprocessors / W. Van de Velde, J. Opsommer and E. H. D'Hollander -- From Data Flow Networks to Process Algebras / C. Bernardeschi, A. Bondavalli and L. Simoncini -- Parallel Complexity of Lattice Basis Reduction and a Floating-Point Parallel Algorithm / C. Heckler and L. Thiele -- Computer Vision Applications Experience with Actors / F. Arcelli, M. De Santo, M. Di Santo and A. Picariello -- Grid Massively Parallel Processor / V. P. Il'in and Y. I. Fet -- APPLAUSE: Application & Assessment of Parallel Programming Using Logic / M. Reeve et al -- EPOCH -- European Parallel Operating System Based on Chorus / L. Borrmann et al
• Pythagoras Project Overview (EP7091) / K.-F. Wong et al.

ISBN

• 3540568913
• 9783540568919
• 0387568913
• 9780387568911

LCCN

93187807

OCLC

• ocm28444801
• 28444801
• SCSB-2009564

Owning Institutions

Princeton University Library