


default search action
6. PARLE 1994: Athens, Greece
- Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou, Sergios Theodoridis:

PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings. Lecture Notes in Computer Science 817, Springer 1994, ISBN 3-540-58184-7
Interconnection Networks I
- Afonso Ferreira, Miltos D. Grammatikakis

:
Improved Probabilistic Routing on Generalized Hypercubes. 1-12 - Jen-Shiuh Liu, Wen-Jing Hsu:

Efficient Data Communication in Incomplete Hypercube. 13-24 - Sabine R. Öhring, Sajal K. Das:

Efficient Communication in the Folded Petersen Interconnection Network. 25-36
Compiling Techniques
- Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli:

Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. 37-48 - Santosh Pande, Kleanthis Psarris:

A Compilation Technique for Varying Communication Cost NUMA Architectures. 49-60 - Michael F. P. O'Boyle:

A Data Partitioning Algorithm for Distributed Memory Compilation. 61-72
Special Purpose Systems
- Mario Fiallos Aguilar, Jean Duprat:

Towards a High Precision Massively Parallel Computer. 73-84 - Anastasios Vergis, Vassilios S. Verykios

:
On the Testability of Purely Recursive Digital Filters. 85-96
Special Purpose Systems
- Richard P. Hopkins:

Voting on Synchronous Communications. 97-108 - Abderrahim Benslimane:

Protocol Validation: A Parallel Technique to Reduce the Reachability Tree. 109-121
Algorithms for Multiprocessor Networks
- Evripidis Bampis, Jean-Claude König, Denis Trystram:

Optimal Parallel Execution of Complete Binary Trees and Grids into most Popular Interconnection Networks. 122-133 - Stephan Olariu, Ivan Stojmenovic:

Time-Optimal Nearest-Neighbor Computations on Enhanced Meshes. 134-145 - Ville Leppänen

, Martti Penttonen:
Simulation of PRAM Models on Meshes. 146-158 - Mikhail J. Atallah, Andreas Fabri:

On the Multisearching Problem of Hypercubes. 159-166
Programming Environments
- Patricia Prather Pineo:

Code Liberation - a Tool for Refitting Code to a Parallel Envionment. 167-179 - Steven D. Prestwich, Anthony J. Kusalik:

High-Level Visualisation of Parallel Logic Program Execution. 180-191 - Steven T. Hackstadt, Allen D. Malony:

Next-Generation Parallel Performance Visualization: A Prototyping Environment for Visualization Development. 192-201 - Joseph L. Sharnowski, Betty H. C. Cheng

:
A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations. 202-213
Interconnection Networks II
- H. K. Dai:

An Improvement in the Size-Depth Tradeoff for Strictly Non-Blocking Generalized-Concentration Networks. 214-225 - Tsutomu Ishikawa:

Bypass Strategy in Hypercube Multiprocessors by adding Bus Connections. 226-237 - Kanad Ghose:

OPTIMUL: A Hybrid Multiprocessor for Distributed and Shared Memory Multiprocessing with WDM Optical Fiber Interconnections. 238-249
Scientific Computing
- L. D. J. C. Loyens, Jean R. Moonen:

ILIAS, a Sequential Language for Parallel Matrix Computations. 250-261 - Damien Gautier de Lahaut, Cécile Germain:

Static Communications in Parallel Scientific Propgrams. 262-276 - Thomas Rauber, Gudula Rünger:

Load Balancing for Extraplation Methods on Distributed Memory Multiprocessors. 277-288
Performance Evaluation
- Wolfgang Ertel

:
On the Definition of Speedup. 289-300 - Harald Wabnig, Günter Haring:

Petri Net Performance Models of Parallel Systems - Methodology and Case Study. 301-312
Data Distribution
- Louis H. Ziantz, Can C. Özturan, Boleslaw K. Szymanski

:
Run-Time Optimization of Sparse Matrix-Vector Multiplication on SIMD Machines. 313-322 - Akiyoshi Wakatani, Michael Wolfe:

A New Approach to Array Redistribution: Strip Mining Redistribution. 323-335
Cache Systems
- Carlos Carreras

, Carlos A. López Bario, Manuel V. Hermenegildo:
Analytic Model of a Cache Only Memory Architecture. 336-350 - Anant Agarwal, John V. Guttag, Christoforos N. Hadjicostis, Marios C. Papaefthymiou:

Memory Assignment for Multiprocessor Caches through Grey Coloring. 351-362 - Håkan Nilsson, Per Stenström:

An Adaptive Update-Based Cache Coherence Protocol for Reduction of Miss Rate and Traffic. 363-374 - Andrew J. Bennett, Paul H. J. Kelly:

Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction. 375-386
Language Issues
- Fubo Zhang, Erik H. D'Hollander:

Enhancing Parallelism by Removing Cyclic Data Dependencies. 387-397 - Kaku Takeuchi, Kohei Honda, Makoto Kubo:

An Interaction-based Language and its Typing System. 398-413 - Constantinos V. Papadopoulos:

On the Parallelism of Data. 414-424 - Vasco Thudichum Vasconcelos:

Predicative Polymorphism in Pi-Calculus. 425-437
Language Implementation
- Kish Shen:

Improving the Execution of Dependent And-Parallel Prolog DDAS. 438-452 - Péter Kacsuk:

OR-Parallel Prolog on Distributed Memory Systems. 453-463 - Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze:

Efficient Distributed Memory Implementation of a Data Parallel Functional Language. 464-477
Applications
- David Abramson, M. Cope, R. McKenzie:

Modelling Photochemical Pollution using Parallel and Distributed Computing Platforms. 478-489 - J. Mark Bull, T. L. Freeman:

Parallel Algorithms and Interval Selection Strategies for Globally Adaptive Quadrature. 490-501 - Octav Brudaru, Graham M. Megson:

Systolic Designs for Evaluation Linear Combinations of Chebyshev Polynomials. 502-513
Systems Evaluation
- Benoît Dageville, Patrick Casadessus, Pascale Borla-Salamet:

The Impact of the KSR1 Allcache Architecture on the Behavior of the DBS3 Parallel DBMS. 514-525 - Fotios K. Liotopoulos:

Sparse Generalized HyperGrids for Performance Scalability. 526-538
Miscellanea
- Isabelle Puaut:

A Distributed Garbage Collector for Active Objects. 539-552 - Afonso Ferreira, Alfredo Goldman vel Lejbman, Siang W. Song:

Bus-Based Parallel Computers: A Viable Way for Massive Parallelism. 553-564
Scheduling
- Cristina Barrado, Jesús Labarta, Patricia Borensztejn:

Implementation of GTS. 565-576 - Chinhyun Kim, Jean-Luc Gaudiot:

A Hierarchical Activation Management Technique for Fine-Grain Multithreaded Execution. 577-588 - Neelima Mehdiratta, Kanad Ghose:

Scheduling Task Graphs Onto Distributed Memory Multiprocessors Under Realistic Constaints. 589-600 - Constantinos V. Papadopoulos:

A Dynamic Algorithm for Online Scheduling of Parallel Processes. 601-610
Semantics
- Frédéric Boniol:

COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata. 611-622 - Ryszard Janicki, Maciej Koutny:

Deriving Histories of Nets with Priority Relation. 623-634 - Matthias Radestock, Susan Eisenbach:

What Do You get From a Pi-Calculus Semantics? 635-647 - Patrick Viry:

Rewriting: An Effective Model of Concurrency. 648-660
Load Balancing
- Robert J. Fowler, Leonidas I. Kontothanassis:

Mercury: Object-Affinity Scheduling and Continuation Passing on Multiprocessors. 661-676 - Abdel-Halim Smai, Lars-Erik Thorelli:

Dynamic Allocation of Communication Bandwidth in Multicomputers. 677-688 - Ajay K. Gupta

, Andreas G. Photiou:
Load Balances Priority Queues on Distributed Memory Machines. 689-700
Parallel Algorihms
- Jean-Louis Roch, Gilles Villard:

Parallel Computations with Algebraic Numbers - A Case Study: Jordan Normal Form of Matrices. 701-712 - Paolo Ferragina, Fabrizio Luccio:

Batch Dynamic Algorithms for Two Graph Problems. 713-724 - Martina Schollmeyer, Bruce M. McMillin:

A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. 725-736
Poster Sessions
- Costas Mourlas, Constantin Halatsis:

MAGE: A Massively Agent Execution System for Logic Programming. 737-740 - Gilbert Caplain, René Lalement, Thierry Salset:

Checking the Serial Correctness of Control-Parallel Programs. 741-744 - Georg Stellner, Arndt Bode, Stefan Lamberts, Thomas Ludwig:

NXLib - A Parallel Programming Environment for Workstation Clusters. 745-748 - Anna Hondroudakis, Rob Procter

:
Applying Human Factors Techniques to the Design of a Tool for Parallel Program Performance Analysis and Tuning. 749-752 - Jocelyn Desbiens, Michel Toulouse, Martin Lavoie, Stéphane Pouzyreff, Pierre Raymond, Tahar Tamazouzt:

An Actor Based Programming System for Heterogeneous Processing. 753-756 - Ricardo Peña-Marí, Luis A. Galán:

Introducing Fairness in CSP Systems Specified with State Variables. 757-760 - Shigeru Kusakabe, Eiichi Takahashi, Rin-Ichiro Taniguchi, Makoto Amamiya:

A Dataflow-Based Massively Parallel Programming Language and Its Implementation. 761-764 - Andreas Listl:

Using Subpages for Coherency Control in Parallel Database Systems. 765-768 - Céline Verdier, Anne Lafage, Emmanuel Boutillon, Alain Demeure:

A Multi-Dimensional Interconnection Network for SIMD Architectures. 769-772 - Martin Neschen, Martin Gumm:

A Scalable Bit-Sequential SIMD Architecture for Pattern Recognition. 773-776 - Stephen P. S. Lam:

An Iterative Array Processor Architecture for Matrix Computation. 777-780 - Tetsuo Kawano, Shigeru Kusakabe, Rin-Ichiro Taniguchi, Makoto Amamiya:

Datarol-II: A Fine-Grain Massively Parallel Architecture. 781-784 - Nasser Kalantery, Stephen C. Winter, Derek R. Wilson:

From BSP to a Virtual von Neumann Machine. 785-788 - Hideaki Okada, Kazuhiko Matsumoto, Masaru Kitsuregawa:

Data Parallel Relational Database Processing on the Connection Machine CM-2 with Data Vault. 789-792 - Ali R. Hurson

, Joford T. Lim, Behrooz A. Shirazi, Krishna M. Kavi:
Straggered Scheme: A Loop Allocation Policy. 793-796 - Borut Robic, Jurij Silc:

Using Parallel Simulated Annealing in the Mapping Problem. 797-800 - Thomas Johansson, Ewert Bengtsson:

A New Parallel MIMD Connected Component Labeling Algorithm. 801-804 - Evangelos P. Markatos, Catherine E. Chronaki

:
Using Reference Counters in Update-Based Coherent Memory. 805-808 - Henk Schepers:

Compositional Reasoning about Real-Time Distributed Systems with Limited Resources. 809-812 - Dimitris Lioupis, Michael Stefanidakis:

Dynamic Load Balancing on a Virtually-Shared Memory Parallel Computer System. 813-818 - Johann Schumann, Manfred R. Jobmann:

Analysing the Load Balancing Scheme of a Parallel System on Multiprocessors - A Modeling Approach. 819-822 - Shashank S. Nemawarkar, Ramaswamy Govindarajan, Guang R. Gao, Vinod K. Agarwal:

Performance of Interconnection Network in Multithreaded Architectures. 823-826 - Luís M. B. Lopes, Fernando M. A. Silva

:
Scheduling Algorithms Performance with the pSystem Parallel Programming Environment. 827-830 - Seung-Woo Seo, Tse-Yun Feng:

A New Routing Scheme for Concatenating Two Omega Networks. 831-834

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














