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

, Print BookEnglish, ©1994Edition: View all formats and editionsPublisher: Springer-Verlag, Berlin, ©1994

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