6. PARLE 1994: Athens, Greece

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 David 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, 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 Algorihtm 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. Verdier, A. Lafage, E. Boutillon, A. 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 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
  

Last update Tue Feb 14 04:08:50 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page