Research Catalog

Title

PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings / C. Halatsis [and others] (eds.).

Author

International PARLE Conference (6th : 1994 : Athens, Greece)

Publication

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

Items in the Library & Off-site

Details

Additional Authors

Halatsis, C. (Costas)

Description

xvi, 836 pages : illustrations; 24 cm.

Summary

"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.

Series Statement

Lecture notes in computer science ; 817

Uniform Title

Lecture notes in computer science ; 817.

Alternative Title

Parallel architectures and languages Europe

Subject

• Parallel processing (Electronic computers) > Congresses
• Computer architecture > Congresses
• Computer architecture
• Parallel processing (Electronic computers)
• Programming languages (Electronic computers) > Congresses
• Parallélisme (informatique) > Congrès
• Architecture des ordinateurs > Congrès

Genre/Form

Conference papers and proceedings.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• 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.

ISBN

• 3540581847
• 9783540581840
• 0387581847
• 9780387581842

LCCN

94021759

OCLC

• ocm30594084
• 30594084
• SCSB-2024240

Owning Institutions

Princeton University Library