Front cover image for PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings

PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings

"This volume presents the proceedings of the 5th International Conference Parallel Architectures and Languages Europe (PARLE '94), held in Athens, Greece in July 1994. PARLE is the main Europe-based event on parallel processing. Parallel processing is now well established within the high-performance computing technology and of stategic importance not only to the computer industry, but also for a wide range of applications affecting the whole economy. The 60 full papers and 24 poster presentations accepted for this proceedings were selected from some 200 submissions by the international program committee; they cover the whole field and give a timely state-of-the-art report on research and advanced applications in parallel computing."--PUBLISHER'S WEBSITE
Print Book, English, ©1994
Springer-Verlag, Berlin, ©1994
Electronic resources (Books)
xvi, 836 pages : illustrations ; 24 cm.
9783540581840, 9780387581842, 3540581847, 0387581847
Improved Probabilistic Routing on Generalized Hypercubes / Afonso G. Ferreira and Miltos D. Grammatikakis
Efficient Data Communication in Incomplete Hypercubes / Jenshiuh Liu and Wen-Jing Hsu
Efficient Communication in the Folded Petersen Interconnection Networks / Sabine R. Ohring and Sajal K. Das
Compiling Rewriting onto SIMD and MIMD/SIMD Machines / P. Lincoln, N. Marti-Oliet, J. Meseguer and L. Ricciulli
A Compilation Technique for Varying Communication Cost NUMA Architectures / Santosh Pande and Kleanthis Psarris
A Data Partitioning Algorithm for Distributed Memory Compilation / Michael O'Boyle
Towards a High Precision Massively Parallel Computer / Mario Fiallos Aguilar and Jean Duprat
On the Testability of Purely Recursive Digital Filters / Anastasios Vergis and Vassilios Verykios
Voting on Synchronous Communications / Richard P. Hopkins
Protocol Validation: A Parallel Technique to Reduce the Reachability Tree / Abderrahim Benslimane. Optimal Parallel Execution of Complete Binary Trees and Grids into Most Popular Interconnection Networks / E. Bampis, J.-C. Konig and D. Trystram
Time-Optimal Nearest-Neighbor Computations on Enhanced Meshes / Stephan Olariu and Ivan Stojmenovic
Simulation of PRAM Models on Meshes / Ville Leppanen and Martti Penttonen
On the Multisearching Problem for Hypercubes / Mikhail J. Atallah and Andreas Fabri
Code Liberation
A Tool for Refitting Code to a Parallel Environment / Patricia Prather Pinco
High-Level Visualization of Parallel Logic Program Execution / Steven D. Prestwich and Anthony J. Kusalik
Next-Generation Parallel Performance Visualization: A Prototyping Environment for Visualization Development / Steven T. Hackstadt and Allen D. Malony
A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations / Joseph L. Shamowski and Betty H.C. Cheng. An Improvement in the Size-Depth Tradeoff for Strictly Non-Blocking Generalized-Concentration Networks / H.K. Dai
Bypass Strategy in Hypercube Multiprocessors by Adding Bus Connections / Tsutomu Ishikawa
OPTIMUL: A Hybrid Multiprocessor for Distributed and Shared Memory Multiprocessing with WDM Optical Fiber Interconnections / Kanad Ghose
ILIAS: A Sequential Language for Parallel Matrix Computations / L.D.J.C. Loyens and J.R. Moonen
Static Communications in Parallel Scientific Programs / Damien Gautier de Lahaut and Cecile Germain
Load Balancing for Extrapolation Methods on Distributed Memory Multiprocessors / Thomas Rauber and Gudula Runger
On the Definition of Speedup / Wolfgang Ertel
Petri Net Performance Models of Parallel Systems
Methodology and Case Study / H. Wabnig and G. Haring
Run-Time Optimization of Sparse Matrix-Vector Multiplication on SIMD Machines / Louis H. Ziantz, Can C. Ozturan and Boleslaw K. Szymanski. A New Approach to Array Redistribution: Strip Mining Redistribution / Akiyoshi Wakatani and Michael Wolfe
Analytic Model of a Cache only Memory Architecture / Carlos Carreras, Carlos A. Lopez and Manuel Hermenegildo
Memory Assignment for Multiprocessor Caches Through Grey Coloring / Anant Agarwal, John V. Guttag, Christoforos N. Hadjicostis and Marios C. Papaefthymiou
An Adaptive Update-Based Cache Coherence Protocol for Reduction of Miss Rate and Traffic / Hakan Nilsson and Per Stenstrom
Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction / Andrew J. Bennett and Paul H.J. Kelly
Enhancing Parallelism by Removing Cyclic Data Dependencies / Fubo Zhang and Erik H. D'Hollander
An Interaction-Based Language and Its Typing System / Kaku Takeuchi, Kohei Honda and Makoto Kubo
On the Parallelism of Data / Constantinos V. Papadopoulos
Predicative Polymorphism in [pi]-Calculus / Vasco Thudichum Vasconcelos. Improving the Execution of the Dependent And-Parallel Prolog DDAS / Kish Shen
OR-Parallel Prolog on Distributed Memory Systems / Peter Kacsuk
Efficient Distributed Memory Implementation of a Data Parallel Functional Language / Herbert Kuchen, Rinus Plasmeijer and Holger Stoltze
Modelling Photochemical Pollution Using Parallel and Distributed Computing Platforms / D. Abramson, M. Cope and R. McKenzie
Parallel Algorithms and Interval Selection Strategies for Globally Adaptive Quadrature / J.M. Bull and T.L. Freeman
Systolic Designs for Evaluating Linear Combinations of Chebyshev Polynomials / Octav Brudaru and Graham M. Megson
The Impact of the KSRI Allcache Architecture on the Behavior of the DBS3 Parallel DBMS / Benoit Dageville, Patrick Casadessus and Pascale Borla-Salamet
Sparse Generalized HyperGrids for Performance Scalability / Fotios K. Liotopoulos
A Distributed Garbage Collector for Active Objects / Isabelle Puaut. Bus-Based Parallel Computers: A Viable Way for Massive Parallelism / Afonso G. Ferreira, A. Goldman vel Lejbman and S.W. Song
Implementation of GTS / Cristina Barrado, Jesus Labarta and Patricia Borensztejn
A Hierarchical Activation Management Technique for Fine-Grain Multithreaded Execution / Chinhyun Kim and Jean-Luc Gaudiot
Scheduling Task Graphs onto Distributed Memory Multiprocessors Under Realistic Constraints / Neelima Mehdiratta and Kanad Ghose
A Dynamic Algorithm for Online Scheduling of Parallel Processes / Constantinos V. Papadopoulos
COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata / Frederic Boniol
Deriving Histories of Nets with Priority Relation / Ryszard Janicki and Maciej Koutny
What Do You Get from a [pi]-Calculus Semantics? / Matthias Radestock and Susan Eisenbach
Rewriting: An Effective Model of Concurrency / Patrick Viry. Mercury: Object-Affinity Scheduling and Continuation Passing on Multiprocessors / Robert J. Fowler and Leonikas Kontothanassis
Dynamic Allocation of Communication Bandwidth in Multicomputers / Abdel-Halim Smai and Lars-Erik Thorelli
Load-Balanced Priority Queues on Distributed Memory Machines / Ajay K. Gupta and Andreas G. Photiou
Parallel Computations with Algebraic Numbers
A Case Study: Jordan Normal Form of Matrices / J.L. Roch and G. Villard
Batch Dynamic Algorithms for Two Graph Problems / Paolo Ferragina and Fabrizio Luccio
A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms / Martina Schollmeyer and Bruce McMillin
MAGE: A Massively Agent Execution System for Logic Programming / Constantin Mourlas and Constantin Halatsis
Checking the Serial Correctness of Control-Parallel Programs / Gilbert Caplain, Rene Lalement and Thierry Salset. NXLib
A Parallel Programming Environment for Workstation Clusters / Georg Stellner, Arndt Bode, Stefan Lamberts and Thomas Ludwig
Applying Human Factors Techniques to the Design of a Tool for Parallel Program Performance Analysis and Tuning / Anna Hondroudakis and Rob Procter
An Actor-Based Programming System for Heterogeneous Processing / Jocelyn Desbiens, Michel Toulouse, Martin Lavoie, Stephane Pouzyreff, Pierre Raymond and Tahar Tamazouzt
Introducing Fairness in CSP Systems Specified with State Variables / Ricardo Pena and Luis A. Galan
A Dataflow-Based Massively Parallel Programming Language and Its Implementation / Shigeru Kusakabe, Eiichi Takahashi, Rin-ichiro Taniguchi and Makoto Amamiya
Using Subpages for Coherency Control in Parallel Database Systems / Andreas Listl
A New Multi-Dimensional Interconnection Network for SIMD Architectures / C. Verdier, A. Lafage, E. Boutillon and A. Demeure. A Scalable Bit-Sequential SIMD Architecture for Pattern Recognition / Martin Neschen and Martin Gumm
An Iterative Array Processor Architecture for Matrix Computation / Stephen P.S. Lam
Datarol-II: A Fine-Grain Massively Parallel Architecture / Tetsuo Kawano, Shigeru Kusakabe, Rin-ichiro Taniguchi and Makoto Amamiya
From BSP to a Virtual von Neumann Machine / N. Kalantery, S.C. Winter and D.R. Wilson
Data Parallel Relational Database Processing on the Connection Machine CM-2 with Data Vault / Hideaki Okada, Kazuhiko Matsumoto and Masaru Kitsuregawa
Staggered Scheme: A Loop Allocation Policy / A.R. Hurson, J.T. Lim, B. Shirazi and K. Kavi
Using Parallel Simulated Annealing in the Mapping Problem / Robic Borut and Jurij Silc
A New Parallel MIND Connected Component Labeling Algorithm / Thomas Johansson and Ewert Bengtsson
Using Reference Counters in Update-Based Coherent Memory / Evangelos Markatos and Catherine E. Chronaki. Compositional Reasoning About Real-Time Distributed Systems with Limited Resources / Henk Schepers
Dynamic Load Balancing on a Virtually-Shared Memory Parallel Computer System / Dimitris Lioupis and Michael Stefanidakis
Analysing the Load Balancing Scheme of a Parallel System on Multiprocessors
A Modeling Approach / Johann Schumann and Manfred Jobmann
Performance of Interconnection Network in Multithreaded Architectures / S.S. Nemawarkar, R. Govindarajan, Guang R. Gao and Vinod K. Agarwal
Scheduling Algorithms Performance with the pSystem Parallel Programming Environment / Luis M.B. Lopes and Fernando M.A. Silva
A New Routing Scheme for Concatenating Two Omega Networks / Seung-Woo Seo and Tse-yun Feng