Abstract is missing.
- Basis of Parallel Speculative ExecutionPaul Feautrier. 3-14
- Unifying Theories for Parallel ProgrammingC. A. R. Hoare, Jifeng He. 15-30
- Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint ProgrammingManuel V. Hermenegildo. 31-45
- Static and Dynamic Data Management in NetworksFriedhelm Meyer auf der Heide, Berthold Vöcking. 46-56
- Iterative Algorithms on High Performance ArchitecturesUlrich Rüde. 57-71
- A Performance Tuning Approach for Shared-Memory MultiprocessorsPer Stenström, Jonas Skeppstedt. 72-83
- Nova Visualization for Optimization of Data-Parallel ProgramsClinton L. Jeffery, Sandra G. Dykes, Xiaodong Zhang, Guillermo H. Gonzalez, Jason L. Peacock. 89-93
- On Correcting the Intrusion of Tracing Non-deterministic Programs by SoftwareFlorin Teodorescu, Jacques Chassin de Kergommeaux. 94-101
- Using Control and Data Flow Analysis for Race EvaluationDieter Kranzlmüller, Siegfried Grabner, Jens Volkert. 102-109
- Client Server Computing on Message Passing Systems: Experiences with PVM-RPCAlan T. Krantz, Vaidy S. Sunderam. 110-117
- Exdasy - A User-Friendly and Extendable Data Distribution SystemRainer Koppler, Gerhard Kurka, Jens Volkert. 118-127
- Interconnecting Multiple Heterogeneous Parallel Application ComponentsPedro D. Medeiros, José C. Cunha. 128-139
- EDPEPPS: An Integrated Graphical Toolset for the Design and Performance Evaluation of Portable Parallel SoftwareThierry Delaitre, P. Vekariya, R. Bigeard, G. R. Justo, Stephen C. Winter, M. J. Zemerly. 140-149
- Load Balancing Based on Process Migration for MPIGeorg Stellner, Jörg Trinitis. 150-157
- A Processors Management System for PVMJose Aguilar, Tania Jiménez. 158-161
- A Full Program Control Flow Representation for Real ProgramsHe Zhu, Ian Watson. 162-165
- Efficient Total-Exchange in Wormhole-Routed Toroidal CubesFabrizio Petrini, Marco Vanneschi. 171-175
- An Analysis of Deflection-Based Wormhole Routing with Virtual ChannelsEmmanouel A. Varvarigos, Jonathan P. Lang. 176-187
- Wormhole Deadlock PredictionMiriam Di Ianni. 188-195
- Broadcast and Associative Operations on Fat-TreesGianfranco Bilardi, Bruno Codenotti, G. Del Corso, Maria Cristina Pinotti, Giovanni Resta. 196-207
- On the Fault Tolerance of Fat-TreesSotiris E. Nikoletseas, Grammati E. Pantziou, Panagiotis Psycharis, Paul G. Spirakis. 208-217
- Minimal Routing in the Triangular Grid and in a Family of Related ToriDominique Désérable. 218-225
- Embedding Complete ::::k::::-ary Trees into 2-dimensional Meshes and ToriJan Trdlicka, Pavel Tvrdík. 226-233
- Optimal Gossip in Store-and-Forward Noncombining 2-D ToriMichal Soch, Pavel Tvrdík. 234-241
- Cutwidth of the Mesh of ::::d::::ary TreesImrich Vrto. 242-245
- Embedding and Emulation Results for Static Multichannel Mesh of Optical BusesVille Leppänen. 246-249
- Routing on Asyncronous Processor NetworksEfstratios Karaivazoglou, Friedhelm Meyer auf der Heide. 250-257
- The Complexity of Shortest Path and Dilation Bounded Interval RoutingRastislav Kralovic, Peter Ruzicka, Daniel Stefankovic. 258-265
- Finding a Pair on a Mesh with Multiple Broadcasting is HardPeter Damaschke. 266-271
- Routing on the PADAM: Degrees of OptimalityBogdan S. Chlebus, Artur Czumaj, Jop F. Sibeyn. 272-279
- Handling Memory Cache Policy with Integer Points CountingPhilippe Clauss. 285-293
- A Graphical Tool for Automatic Parallelization and Scheduling of Programs on MultiprocessorsYu-Kwong Kwok, Ishfaq Ahmad, Min-You Wu, Wei Shu. 294-301
- Identifying Critical Loads in Real Programs for Decoupled VSM SystemsHe Zhu, Ian Watson. 302-305
- Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries (Extended Abstract)Olav Beckmann, Paul H. J. Kelly. 306-309
- A Technique for Mapping Sparse Matrix Computations into Regular Processor ArraysRoman Wyrzykowski, Juri Kanevski. 310-317
- A Relational Approach to the Compilation of Sparse Matrix ProgramsVladimir Kotlyar, Keshav Pingali, Paul Stodghill. 318-327
- Solutions to the Communication Minimization Problem for Affine Recurrence EquationsVincent Loechner, Catherine Mongenet. 328-337
- Dependence-Free Clustering of Shift-Invariant Data StructuresMatthias Besch, Hans Werner Pohl. 338-341
- Experiences in Analyzing Data Dependences for Programs with Pointers and StructuresWolfram Amme, Eberhard Zehendner. 342-346
- Applicability of Program Comprehension to Sparse Matrix ComputationsChristoph W. Keßler. 347-351
- Hamiltonian Recurrence for ILPCristina Barrado, Jesús Labarta. 352-355
- Optimizing Storage Size for Static Control Programs in Automatic ParallelizersVincent Lefebvre, Paul Feautrier. 356-363
- Optimal Distribution Assignment PlacementJens Knoop, Eduard Mehofer. 364-373
- Parallel Merge Sort on Concurrent-Read Owner-Write PRAMDavid C. Lin, Patrick W. Dymond, Xiaotie Deng. 379-383
- Feasible Models of Computation: Three-Dimensionality and Energy ConsumptionPeter Sanders, Roland Vollmar, Thomas Worsch. 384-388
- Sample Sort on MeshesJop F. Sibeyn. 389-398
- Sorting on a Massively Parallel System Using a Library of Basic Primitives: Modeling and Experimental ResultsAlf Wachsmann, Rolf Wanka. 399-408
- Parallel Priority Queue and List Contraction: The BSP ApproachAlexandros V. Gerbessiotis, Constantinos J. Siniolakis, Alexandre Tiskin. 409-416
- Priority Queue Operations on EREW-PRAMMauricio Marín. 417-420
- Concurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract)Luc Bougé, Joaquim Gabarró, Xavier Messeguer, Nicolas Schabanel. 421-429
- NC Approximation Algorithms for 2-Connectivity Augmentation in a GraphWeifa Liang, George Havas. 430-439
- Approximating Scheduling Problems in ParallelMaria J. Serna, Fatos Xhafa. 440-449
- A New Staircase Separator TheoremViet Hai Nguyen. 450-457
- Tentative Time WrapNasser Kalantery. 458-467
- Synchronized DSM ModelsJordi Bataller, José M. Bernabéu-Aubán. 468-475
- A Space-Efficient and Self-Stabilizing Depth-First Token Circulation Protocol for Asynchronous Message-Passing Systems (Short Version)Franck Petit, Vincent Villain. 476-479
- Distributed Self-Stabilizing Algorithm for Minimum Spanning Tree ConstructionGheorghe Antonoiu, Pradip K. Srimani. 480-487
- Partly-Consistent Cuts of DatabasesMarcin Skubiszewski, Nicolas Porteix. 488-495
- Exploiting Atomic Broadcast in Replicated Databases (Extended Abstract)Divyakant Agrawal, Gustavo Alonso, Amr El Abbadi, Ioana Stanoi. 496-503
- Synchronising Asynchronous CommunicationsAlan Stewart, Maurice Clint. 511-520
- Typechecking of PEI ExpressionsEric Violard. 521-529
- Functional Parallel Programming with Explicit Processes: Beyond SPMDFrédéric Loulergue, Gaétan Hains. 530-537
- Testing Semantics for Unbounded NondeterminismLuis Fernando Llana Díaz, Manuel Núñez. 538-545
- An Efficient Compilation Framework for Languages Based on a Concurrent Process CalculusYoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa. 546-553
- Behavioural Types for a Calculus of Concurrent ObjectsAntónio Ravara, Vasco Thudichum Vasconcelos. 554-561
- Time in Message Sequence Charts: A Formal Approach (Extended Abstract)Piotr Kosiuczenko. 562-566
- Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented ProgrammingAntonio J. Nebro, Ernesto Pimentel, José M. Troya. 567-571
- Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract)Ruth Breu, Radu Grosu. 572-575
- A Quality Design Solution for Object SynchronizationAntónio Rito Silva. 576-580
- NeXeme: A Distributed Scheme Based on NexusLuc Moreau, David De Roure, Ian T. Foster. 581-590
- Athapascan Runtime: Efficiency for Irregular ProblemsJacques Briat, Ilan Ginzburg, Marcelo Pasin, Brigitte Plateau. 591-600
- Optimization of Out-of-Core Computations Using Chain VectorsMahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary. 601-608
- Parlists - A Generalization of PowerlistsJacob Kornerup. 614-618
- Skeletons for Data Parallelism in p3lMarco Danelutto, Fabrizio Pasqualetti, Susanna Pelagatti. 619-628
- Embodying Parallel Functional Skeletons: An Experimental Implementation on Top of MPIJocelyn Sérot. 629-633
- On Dividing and Conquering IndependentlyMurray Cole. 634-637
- M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive ApplictionsQian Wu, A. J. Field, Paul H. J. Kelly. 638-649
- A Monadic Calculus for Parallel Costing of a Functional Language of ArraysC. Barry Jay, Murray Cole, M. Sekanina, Paul Steckler. 650-661
- A Methodology for Deriving Parallel Programs with a Family of Parallel Abstract MachinesJohn O Donnell, Gudula Rünger. 662-669
- Parallel Distributed Programming with Haskell + PVMNoel Winstanley, John O Donnell. 670-677
- A Parallelisation Approach for Supporting Scalable and Portable ComputingJonathan M. Nash, Peter M. Dew, John R. Davy. 678-682
- Scalability of Parallel Sparse Cholesky FactorizationThomas Rauber, Gudula Rünger, Carsten Scholtes. 688-699
- Optimal Parallel Algorithms for Solving Tridiagonal Linear SystemsEunice E. Santos. 700-709
- Robust Parallel Lanczos Methods for Clustered EigenvaluesMarek Szularz, Jim Weston, Maurice Clint. 710-717
- A Fully Parallel Symmetric Matrix TransformationAyse Kiper. 718-721
- Numerical Experiments with a Parallel Fast Direct Elliptic Solver on Cray T3ETuomo Rossi, Jari Toivanen. 722-725
- New Matric-by-Vector Multiplications Based on a Nonoverlapping Domain Decomposition Data DistributionGundolf Haase. 726-733
- A Comparison Between Different Parallelization Methods on Workstation Clusters to Solve CFD-ProblemsW. Huber. 734-741
- Scalable Parallel SSOR Preconditioning for Lattice Computations in Gauce TheoriesAndreas Frommer, Thomas Lippert, Klaus Schilling. 742-749
- Deteriorating Convergence for Asynchronous Methods on Linear Least Sqare ProblemsTrond Steihaug, Yasemin Yalçinkaya. 750-759
- The Delft-Java Engine: An IntroductionC. John Glossner, Stamatis Vassiliadis. 766-770
- Scheduling Instructions with Uncertain Latencies in Asynchronous ArchitecturesD. K. Arvind, S. Sotelo-Salazar. 771-778
- Co-processor System Design for Fine-Grain Message Handling in KUMP/DHiroshi Tomiyasu, Shigeru Kusakabe, Tetsuo Kawano, Makoto Amamiya. 779-788
- A Virtual-Physical On-Chip Cache for Shared Memory MultiprocessorsDongwook Kim, Joonwon Lee. 789-792
- Shared vs. Snoop: Evaluation of Cache Structure for Single-Chip MultiprocessorsToru Kisuki, Masaki Wakabayashi, Junji Yamamoto, Keisuke Inoue, Hideharu Amano. 793-797
- Morphological Hough Transform on the Instruction Systolic ArrayBertil Schmidt, Manfred Schimmler, Heiko Schröder. 798-806
- An Analytical Design of High-Speed Pixel Transformation for Object Boundary EnhancementK. P. Lam, A. Furness. 807-814
- Karhünen-Loève Transform: An Exercise in Simple Image-Processing Parallel PipelinesMartin Fleury, Andy C. Downton, Adrian F. Clark. 815-819
- Use of F-Code as a Very High Level Intermediate Language for DSPEdward D. Willink, Alexander V. Shafarenko, Vyacheslav B. Muchnick. 820-823
- Experiments on Using WPVM for Industrial Visual Inspection ProblemsJorge G. Barbosa, Armando J. Padilha, J.-P. Madier, T. Neubert. 828-831
- Object-Oriented Parallel Software for Radio Wave Propagation Simulation in Urban EnvironmentFrédéric Guidec, Patrice Calégari, Pierre Kuonen. 832-839
- A Portable Parallel Implementation of a 3D Semiconductor Device SimulatorAli Bouaricha, Stephan Mueller. 840-847
- A Parallel Sparse LU Decomposition with Application to Semiconductor Device SimulationMounir Hahad. 848-851
- A Parallel Simulation of a Quantitative Large-Strain Polycrystal DeformationM. Juganaru, I. Sakho, C. Maurice, F. Montheillet. 852-855
- Parallel Genetic Algorithms Applied to Optimum Shape Design in AeronauticsNathalie Marco, Stéphane Lanteri, Jean-Antoine Désidéri, Bertrand Mantel, Jacques Périaux. 856-863
- Parallel Multidimensional Calculation of Steady-State and Time-Dependent Flows with CombustionSamir Muzaferija, Volker Seidl, Aron Kneer. 864-871
- A Two-Level Parallel Strategy for Rotorcraft Optimization and DesignJoseph W. Manke, Thomas M. Wicks, Leo Dadone, Joel E. Hirsh, Byung Oh. 872-875
- Performance Comparison of Load Balancing Policies based on a Diffusion SchemeAntonio Corradi, Letizia Leonardi, Franco Zambonelli. 882-886
- Effectively Scheduling Parallel Tasks and Communications on Networks of WorkstationsXing Du, Yingfei Dong, Xiaodong Zhang. 887-894
- On Linear Schedules of Task Graphs for Generalized LogP-MachinesWelf Löwe, Wolf Zimmermann, Jörn Eisenbiegler. 895-904
- Rescheduling Support for Mapping Dynamic Scientific Computation onto Distributed Memory MultiprocessorsApostolos Gerasoulis, Jia Jiao. 905-912
- Versatile Task Scheduling of Binary Trees for Realistic MachinesCristina Boeres, Vinod E. F. Rebello. 913-921
- Load Balancing Issues in the Prepartitioning MethodJérôme Galtier. 922-936
- Design of Novel Load-Balancing Algorithms with Implementations on an IBM SP1Sajal K. Das, Daniel J. Harvey, Rupak Biswas. 937-944
- Repartitioning of Adaptive Meshes: Experiments with Multilevel DiffusionKirk Schloegel, George Karypis, Vipin Kumar. 945-949
- On the Embedding of Refinements of 2-dimensional GridsFabrizio d Amore, Luca Becchetti, Sergei L. Bezrukov, Alberto Marchetti-Spaccamela, M. Ottaviani, Robert Preis, Markus Röttger, Ulf-Peter Schroeder. 950-957
- Dynamic Program Description as a Basis for Runtime OptimizationJörn Gehring. 958-965
- Workload Analysis of Computation Intensive Tasks: Case Study on SPEC CPU95 BenchmarksJens Simon, Marco Vieth, Reinhold Weicker. 971-984
- Statistical Performance Modeling: Case Study of the NPB 2.1 ResultsErich Strohmaier. 985-992
- A General Performance Model for Multistage Interconnection NetworksChristos Bouras, John D. Garofalakis, Paul G. Spirakis, Vassilis Triantafillou. 993-1000
- Simulation of a Routing Algorithm Using Distributed Simulation TechniquesC. D. Pham, J. Essmeyer, Serge Fdida. 1001-1008
- Message-Passing Performance of Parallel ComputersVladimir Getov, Emilio Hernández, Anthony J. G. Hey. 1009-1016
- Prefetching and Multithreading Performance in Bus-Based Multiprocessors with Petri NetsEdward D. Moreno, Sergio Takeo Kofuji, Marcelo H. Cintra. 1017-1024
- On Synchronisation in Fault-Tolerant Data and Compute Intensive Programs over a Network of WorkstationsJim Smith. 1025-1029
- Performance Analysis of a Parallel Program for Wave Propagation SimulationMichel Pahud, Frédéric Guidec, Thierry Cornu. 1030-1033
- Bounding the Minimal Completion Time of Static Mappings of Multithreaded Solaris ProgramsLars Lundberg. 1034-1038
- The Performance Potential of Value and Dependence PredictionMikko H. Lipasti, John Paul Shen. 1043-1052
- An Enhanced Two-Level Adaptive Multiple Branch Prediction for Superscalar ProcessorsJong-bok Lee, Wonyong Sung, Soo-Mook Moon. 1053-1060
- The Effect of the Speculation Depth on the Performance of Superscalar ArchitecturesEliseu M. Chaves Filho, Edil S. Tavares Fernandes. 1061-1065
- Allocating Lifetimes to Queues in Software Pipelined ArchitecturesMarcio Merino Fernandes, Josep Llosa, Nigel P. Topham. 1066-1073
- Treegion Scheduling for Highly Parallel ProcessorsSanjeev Banerjia, William A. Havanki, Thomas M. Conte. 1074-1078
- Modulo Scheduling with Cache Reuse InformationChen Ding, Steve Carr, Philip H. Sweany. 1079-1083
- Memory Address Prediction for Data SpeculationJosé González, Antonio González. 1084-1091
- A Realistic Study on Multithreaded Superscalar Processor DesignYuan C. Chou, Daniel P. Siewiorek, John Paul Shen. 1092-1101
- A Limitation Study into Access DecouplingG. P. Jones, Nigel P. Topham. 1102-1111
- Load Balanced Query Evaluation in Shared-Everything EnvironmentsStefan Manegold, Johann K. Obermaier, Florian Waas. 1117-1124
- Exploring Load Balancing in Parallel Processing of Recursive QueriesSérgio Lifschitz, Alexandre Plastino, Celso C. Ribeiro. 1125-1129
- Use of a Semantically Grained Database System for Distribution and Control Within Design EnvironmentsCaetano Traina Jr., João Eduardo Ferreira, Mauro Biajiz. 1130-1134
- Method Transformations for Vertical Partitioning in Parallel and Distributed Object DatabasesGajanan S. Chinchwadkar, Angela Goh. 1135-1143
- Benchmarking and Performance Tuning of Multimedia ServersPeter Triantafillou, Stavros Christodoulakis, Theodora Magoulioti. 1144-1153
- Database Program Mapping onto a Shared-Nothing Multiprocessor Architecture: Minimizing Communication CostsSophie Bonneau, Abdelkader Hameurlain. 1154-1158
- Large Join Order Optimization on Parallel Shared-Nothing Database Machines Using Genetic AlgorithmsKhalid A. Nafjan, Jon M. Kerridge. 1159-1163
- Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and DivisionTudor Jebelean. 1169-1172
- Towards Full Prolog on a Distributed ArchitectureLourdes Araujo. 1173-1180
- Improving Distributed Unification through Type AnalysisEvelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck. 1181-1190
- Static Granularity Optimization of a Committed-Choice Language FlengTakuya Araki, Hidehiko Tanaka. 1191-1200
- Distributed Arrays in the Functional Language Concurrent CleanPascal R. Serrarens. 1201-1208
- Design and Implementation of Parallel TRAMKazuhiro Ogata, Masaru Kondo, Shigenori Ioroi, Kokichi Futatsugi. 1209-1216
- Changing the Distribution Depth During a Parallel Tree SearchNicolas Prcovic. 1217-1220
- Abstract And-Parallel MachinesNachum Dershowitz, Naomi Lindenstrauss. 1221-1225
- Designing an Embedded Hard Real-Time System: A Case StudyMatjaz Colnaric, C. T. Cheung, Wolfgang A. Halang. 1231-1235
- Reactive Real-Time Programming with Distributed AgentsGerhard Schrott. 1236-1243
- An ML-Like Module System for the Synchronous Language SIGNALDavid Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic. 1244-1253
- Synchronous Thread Management in a Distributed Operating System s Micro KernelOlivier Potonniée, Jean-Bernard Stefani. 1254-1261
- Task-System Analysis Using Slope-Parametric Hybrid AutomataAugusto Burgueño, Vlad Rusu. 1262-1273
- A Methodology for Compilation of High-Integrity Real-Time ProgramsKarl Lermer, Colin J. Fidge. 1274-1281
- Schedulers for Age Constraint Tasks and their Performance EvaluationWolfgang Albrecht, Ralf Wisser. 1282-1289
- Analyzing Schedulability of Astral Specifications using Extended Timed AutomataK. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel. 1290-1297
- Deriving Annotations for Tight Calculation of Execution TimeAndreas Ermedahl, Jan Gustafsson. 1298-1307
- Cinderella: A Retargetable Environment for Performance Analysis of Real-Time SoftwareYau-Tsun Steven Li, Sharad Malik, Andrew Wolfe. 1308-1315
- PHASE and MICA: Application Specific MetacomputingJörn Gehring, Alexander Reinefeld, Anke Weber. 1321-1326
- FRONTIER: Use of HPCN TechnologiesJ. M. R. Shaw, D. C. Spicer. 1327-1332
- PINEAPL: A European Project to Develop a Parallel Numerical Library for Industrial ApplicationsDaniela di Serafino, Lucia Maddalena, Almerico Murli. 1333-1339
- RAIN: Redundant Array of Inexpensive workstations for NeurocomputingDavide Anguita, Marco Chirico, Anna Marina Scapolla, Giancarlo Parodi. 1340-1345
- PARSAR: Parallelisation of a Chirp Scaling Algorithm SAR ProcessorAntonio Martínez, Fracisco Fraile, Jordi Mallorquí, Leonardo Nogueira, Jordi Gabaldá, Antoni Broquetas, Antonio González. 1346-1350
- OCEANS: Optimizing Compilers for Embedded ApplicationsBas Aarts, Michel Barreteau, François Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Peter M. W. Knijnenburg, Michael F. P. O Boyle, Erven Rohou, Rizos Sakellariou, Henk Schepers, André Seznec, Elena Stöhr, Marco Verhoeven, Harry A. G. Wijshoff. 1351-1356
- SEEDS - Simulation Environment for the Evaluation of Distributed Traffic Control SystemsSebastiano Bottalico, Filippo de Stefani, Thomas Ludwig 0002, Günther Rackl. 1357-1362
- EFTOS: A Software Framework for More Dependable Embedded HPC ApplicationsGeert Deconinck, Vincenzo De Florio, Rudy Lauwereins, Theodora A. Varvarigou. 1363-1368
- STAMPAR: A Parallel Processing Approach for the Explicit Dynamic Analysis of Sheet Stamping ProblemsL. Neamtu, F. Zarate, Eugenio Oñate, G. A. Duffett, José M. Cela. 1369-1374