Abstract is missing.
- Mainstream Parallelism: Taking Sides on the SMP/MPP/Cluster DebateGregory M. Papadopoulos. 3
- The Oz Programming Model (Extended Abstract)Gert Smolka. 5-8
- Parallelism in Computational Algorithms and the Physical WorldBjörn Engquist. 9-11
- Execution of Distributed Reactive SystemsPaul Caspi, Alain Girault. 15-26
- Relating Data-Parallelism and (And-) Parallelism in Logic ProgramsManuel V. Hermenegildo, Manuel Carro. 27-41
- On the Duality Between Or-parallelism and And-parallelism in Logic ProgrammingEnrico Pontelli, Gopal Gupta. 43-54
- Functional Skeletons for Parallel CoordinationJohn Darlington, Yike Guo, Hing Wing To, Jin Yang. 55-66
- On the Scalability of Demand-Driven Parallel SystemsRonald C. Unrau, Michael Stumm, Orran Krieger. 69-81
- Bounds on Memory Bandwidth in Streamed ComputationsSally A. McKee, William A. Wulf, Trevor C. Landon. 83-99
- START-NG: Delivering Seamless Parallel ComputingDerek Chiou, Boon Seong Ang, Robert Greiner, Arvind, James C. Hoe, Michael J. Beckerle, James E. Hicks, G. Andrew Boughton. 101-116
- Costs and Benefits of Multithreading with Off-the-Shelf RISC ProcessorsOlivier Maquelin, Herbert H. J. Hum, Guang R. Gao. 117-128
- Transformation Techniques in PEIStéphane Genaud, Eric Violard, Guy-René Perrin. 131-142
- On the Completeness of a Proof System for a Simple Data-Parallel Programming LanguageLuc Bougé, David Cachera. 143-154
- An Implementation of Race Detection and Deterministic Replay with MPIChristian Clémençon, Josef Fritscher, M. J. Meehan, Roland Rühl. 155-166
- Formal and Experimental Validation of a Low Overhead Execution Replay MechanismAlain Fagot, Jacques Chassin de Kergommeaux. 167-178
- On Efficient Embeddings of Grids into Grids in PARIXThomas Römke, Markus Röttger, Ulf-Peter Schroeder, Jens Simon. 181-192
- Optimal Emulation of Meshes on Meshes of TreesAlf-Christian Achilles. 193-204
- Optimal Embeddings in the Hamming Cube NetworksSajal K. Das, Aisheng Mao. 205-216
- Hierarchical Adaptive Routing Under Hybrid Traffic LoadZiqiang Liu. 217-228
- Tight Bounds on Parallel List MarkingSandeep N. Bhatt, Gianfranco Bilardi, Kieran T. Herley, Geppino Pucci, Abhiram G. Ranade. 231-242
- Optimization of PRAM-Programs with Input-Dependent Memory AccessWelf Löwe. 243-254
- Optimal Circular Arc RepresentationsLin Chen. 255-266
- Exploiting Parallelism in Cache Coherency Protocol EnginesAndreas Nowatzyk, Gunes Aybay, Michael C. Browne, Edmund J. Kelly, Michael Parkin, Bill Radke, Sanjay Vishin. 269-286
- Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case StudyFong Pong, Andreas Nowatzyk, Gunes Aybay, Michel Dubois. 287-300
- Efficient Software Data Prefetching for a Loop with Large ArraysSe-Jin Hwang, Myong-Soon Park. 301-312
- Generation of Synchronous Code for Automatic Parallelization of while LoopsMartin Griebl, Jean-Francois Collard. 315-326
- Implementing Flexible Computation Rules with Subexpression-level Loop TransformationDattatraya Kulkarni, Michael Stumm, Ronald C. Unrau. 327-338
- Synchronization Migration for Performance Enhancement in a DOACROSS LoopRong-Yuh Hwang. 339-350
- An Array Partitioning Analysis for Parallel Loop DistributionMarc Le Fur, Jean-Louis Pazat, Françoise André. 351-364
- A Model for Efficient Programming of Dynamic Applications on Distributed Memory MultiprocessorsA. Erzmann, M. Hadeler, Christian Müller-Schloer. 367-378
- Efficient Solutions for Mapping Parallel ProgramsPascal Bouvry, Jacques Chassin de Kergommeaux, Denis Trystram. 379-390
- Optimal Data Distributions for LU DecompositionThomas Rauber, Gudula Rünger. 391-402
- Detecting Quantified Global Predicates in Parallel ProgramsMark Minas. 403-414
- Using Knowledge-Based Techniques for Parallelization on Parallelizing CompilersChao-Tung Yang, Shian-Shyong Tseng, Cheng-Der Chuang, Wen-Chung Shih. 417-428
- Automatic Vectorization of Communications for Data-Parallel ProgramsCécile Germain, Franck Delaplace. 429-440
- The Program Compaction Revisited: the Functional FrameworkMarc Pouzet. 441-456
- Featherweight Threads and ANDF Compilation of ConcurrencyBen Sloman, Tom Lake. 457-469
- Parallel N-Body Simulation on a Large-Scale Homogeneous Distributed SystemJohn W. Romein, Henri E. Bal. 473-484
- Analysis of Parallel Scan Processing in Shared Disk Database SystemsErhard Rahm, Thomas Stöhr. 485-500
- Polynomial Time Scheduling of Low Level Computer Vision Algorithms on Networks of Heterogeneous MachinesAdam R. Nolan, Bryan Everding. 501-512
- Mapping Neural Network Back-Propagation onto Parallel Computers with Computation/Communication OverlappingBernard Girau. 513-524
- Super Monaco: Its Portable and Efficient Parallel Runtime SystemJames S. Larson, Barton C. Massey, Evan Tick. 527-538
- Quiescence Detection in a Distributed KLIC ImplementationKazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama. 539-551
- Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 MultiprocessorThomas Lindgren, Johan Bevemyr, Håkan Millroth. 553-564
- Bidirectional Ring: An Alternative to the Hierarchy of Unidirectional RingsMuhammad Jaseemuddin, Zvonko G. Vranesic. 567-578
- A Formal Study of the Mcube Interconnection NetworkNitin K. Singhvi, Kanad Ghose. 579-591
- Multiwave Interconnection Networks for MCM-based Parallel ProcessingShinichi Shionoya, Takafumi Aoki, Tatsuo Higuchi. 593-607
- Scheduling Master-Slave Multiprocessor SystemsSartaj Sahni. 611-622
- Time Space Sharing Scheduling: A Simulation AnalysisAtsushi Hori, Yutaka Ishikawa, Jörg Nolte, Hiroki Konaka, Munenori Maeda, Takashi Tomokiyo. 623-634
- Agency Scheduling A Model for Dynamic Task SchedulingJohann Rost, Franz-Josef Markus, Li Yan-Hua. 635-646
- FFTs on a Linear SIMD ArratMattias Johannesson. 649-660
- Tolerating Faults in Faulty Hypercubes Using Maximal Fault-Free Subcube-RingJang-Ping Sheu, Yuh-Shyan Chen. 661-672
- Communication in Multicomputers with Nonconvex FaultsSuresh Chalasani, Rajendra V. Boppana. 673-684
- Parallelising Programs with Algebraic Programming ToolsAnatoly E. Doroshenko, Alexander B. Godlevsky. 687-690
- Parallel Prolog with Uncertainty HandlingKatalin Molnár. 691-694
- A Special-purpose Coprocessor for Qualitative SimulationGerald Friedl, Marco Platzner, Bernhard Rinner. 695-698
- Portable Software Tools for Parallel ArchitectureCatherine Barnes, Chris Wadsworth. 699-702
- Boosting the Performance of Workstations through WARPmemoryChristoph Siegelin, Ulrich Finger, Ciaran O Donnell. 703-706
- A Monitoring System for Software-Heterogeneous Distributed EnvironmentsAleksander Laurentowski, Jakub Szymaszek, Andrzej Uszok, Krzysztof Zielinski. 707-710
- A Metacircular Data-Parallel Functional LanguageGaétan Hains, John Mullins. 711-714
- Efficient Run-Time Program Allocation on a Parallel CoprocessorJurij Silc, Borut Robic. 715-718
- A Program Manipulation System for Fine-Grained ArchitecturesVladimir A. Evstigneev, Victor N. Kasyanov. 719-722
- Real-Time Image Compression Using Data-ParallelismP. Moravie, Hassane Essafi, C. Lambert-Nebout, J.-L. Basille. 723-726
- Congestion Control in Wormhole Networks: First ResultsAbdel-Halim Smai. 727-730