Limit search to available items
Book Cover
E-book
Author International PARLE Conference (6th : 1994 : Athens, Greece)

Title PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings / C. Halatsis [and others] (eds.)
Published Berlin ; New York : Springer-Verlag, ©1994

Copies

Description 1 online resource (xvi, 836 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 817
Lecture notes in computer science ; 817. 0302-9743
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
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
Bibliography Includes bibliographical references and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
Online resource; title from PDF title page (SpringerLink, viewed August 6, 2013)
digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL
Subject Parallel processing (Electronic computers) -- Congresses
Computer architecture -- Congresses
Computer architecture
Parallel processing (Electronic computers)
Parallélisme (informatique) -- Congrès.
Architecture des ordinateurs -- Congrès.
Genre/Form Conference papers and proceedings
Form Electronic book
Author Halatsis, C. (Costas)
ISBN 9783540484776
3540484779