3. CONPAR 1994:
Linz,
Austria
Bruno Buchberger, Jens Volkert (Eds.):
Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings.
Lecture Notes in Computer Science 854 Springer 1994, ISBN 3-540-58430-7 BibTeX
@proceedings{DBLP:conf/conpar/1994,
editor = {Bruno Buchberger and
Jens Volkert},
title = {Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International
Conference on Vector and Parallel Processing, Linz, Austria,
September 6-8, 1994, Proceedings},
booktitle = {CONPAR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {854},
year = {1994},
isbn = {3-540-58430-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Keynote Addresses
Performance Analyis and Monitoring
- Bernd Mohr, Darryl Brown, Allen D. Malony:
TAU: A Portable Parallel Program Analysis Environment for pC++.
29-40 BibTeX
- Harald Wabnig, Günter Haring, Dieter Kranzlmüller, Jens Volkert:
Communication Pattern Based Performance Prediction on the nCUBE 2 Multiprocessor System.
41-52 BibTeX
- Alois Ferscha, James Johnson:
Performance Oriented Development of SPMD Programs Based on Task Structure Specifications.
53-65 BibTeX
- Siegfried Grabner, Dieter Kranzlmüller:
Monitoring for Detecing Bugs and Blocking Communication.
66-75 BibTeX
- Luk Levrouw, Koenraad Audenaert:
Minimizing the Log Size for Execution Replay of Shared-Memory Programs.
76-87 BibTeX
- Wolfgang Kastner, Stefan Stöckler, René Zeitlberger:
GOLD MINE: Specification Language for Event-Based Monitoring.
88-99 BibTeX
Parallel Program Development
- Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot:
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.
100-111 BibTeX
- Eric Violard, Guy-René Perrin:
Reduction in PEI.
112-123 BibTeX
- D. K. Arvind, B. R. J. McConnell:
Towards the Synthesis of Asynchronous Concurrent Programs.
124-135 BibTeX
- A. Max Geerling:
Formal Derivation of SIMD Parallelism from Non-Linear Recursive Specifications.
136-147 BibTeX
- Stephen Fitzpatrick, Terence J. Harmer, James M. Boyle:
Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation.
148-159 BibTeX
- Stephan Kindermann:
Flexible Program and Architecture Specification for Massively Parallel Systems.
160-171 BibTeX
- Stanislav Sedukhin, Igor S. Sedukhin:
Systematic Approach and Software Tool for Systolic Design.
172-183 BibTeX
- Lawrence Lau, Mike Rezny, John Belward, Kevin Burrage, Bert Pohl:
ADVISE - Agricultural Developmental Visualisation Interactive Software Environment.
184-195 BibTeX
- Ulrich Detert, Michael Gerndt:
TOP2 Tool Suite for the Development and Testing of Parallel Applications.
196-207 BibTeX
Parallel Algorithms and Complexity Models
- Margarita Amor, María J. Martín, Dora Blanco Heras, Oscar G. Plata, Francisco F. Rivera, Francisco Argüello:
Vectorization of the Radix r Self-Sorting FFT.
208-217 BibTeX
- Maurice Clint, Jim Weston, J. B. Flannagan:
Efficient Gram-Schmidt Orthogonalisation on an Array Processor.
218-228 BibTeX
- Mile K. Stojcev, Emina I. Milovanovic, Milan D. Mihajlovic, Igor Z. Milovanovic:
Parallel Algorithm for Inverting Tridiagonal Matrix on Linear Processor Array.
229-240 BibTeX
- Tudor Jebelean:
Systolic Algorithms for Long Integer GCD Computation.
241-252 BibTeX
- Beniamino Di Martino, Giulio Iannello:
Parallelization of Non-Simultaneous Iterative Methods for Systems of Linear Equations.
253-264 BibTeX
- Thomas Rauber, Gudula Rünger:
Hypercube Implementation and Performance Analysis for Extrapolation Models.
265-276 BibTeX
- Wolf Zimmermann, Welf Löwe:
An Approach to Machine-Independent Parallel Programming.
277-288 BibTeX
- Steven David Prestwich:
On Logic Program Parallelisation Strategies.
289-300 BibTeX
- Selim G. Akl, Lorrie Fava Lindon:
Paradigms Admitting Superunitary Behaviour in Parallel Computation.
301-312 BibTeX
- Carla Limongelli, Roberto Pirastu:
Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic.
313-323 BibTeX
- Hoon Hong, Hans-Wolfgang Loidl:
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine.
325-336 BibTeX
- Yoshio Tanaka, Shogo Matsui, Atsushi Maeda, Masakazu Nakanishi:
Partial Marking GC.
337-348 BibTeX
- Stavros D. Nikolopoulos:
Parallel Recognition and Location Algorithms for Chordal Graphs Using Distance Matrices.
349-358 BibTeX
- Michèle Dion, Marc Gengler, Stéphane Ubéda:
Comparing two Probabilistic Models of the Computational Complexity of the Branch and Bound Algorithm.
359-370 BibTeX
- Jingsen Chen:
Parallel Heap Construction Using Multiple Selection.
371-380 BibTeX
- Ian Gorton, Toong Shoon Chan, Innes Jelly:
Engineering High Quality Parallel Software Using PARSE.
381-392 BibTeX
- Alfred Spalt, Edith Spiegl, Thomas Meikl:
Massively Parallel Volume Rendering.
393-404 BibTeX
- Wolfgang Stürzlinger, Christoph Wild:
Parallel Visibility Computations for Parallel Radiosity.
405-413 BibTeX
Parallel Architectures and Abstract Machines
- Mateo Valero, Montse Peiron, Eduard Ayguadé:
Memory Access Synchronization in Vector Multiprocessors.
414-425 BibTeX
- Mazin S. Yousif, Chita R. Das:
A Switch Cache Design for MIN-Based Shared-Memory Multiprocessors.
426-437 BibTeX
- R. Kattner, M. Eger, Christian Müller-Schloer:
Modeling Cache Coherence Overhead with Geometric Objects.
438-448 BibTeX
- Stefan Lüpke:
Accelerated Access to Shared Distributed Arrays on Distribued Memory Systems by Access Objects.
449-460 BibTeX
- Rudolf Berrendorf, Michael Gerndt, Zakaria Lahjomri, Thierry Priol:
A Comparison of Shared Virtual Memory and Message Passing Programming Techniques Based on a Finite Element Application.
461-472 BibTeX
- Renate Dohmen:
Comparison Between a Message Passing and a Global Shared Memory Parallel Computer by Means of a Concrete Monte-Carlo Algorithm.
473-484 BibTeX
- R. Milikowski, Willem G. Vree:
Non-homogeneous Parallel Memory Operations in a VLIW Machine.
485-496 BibTeX
- Torsten Bülck, Achim Held, Werner E. Kluge, Stefan Pantke, Carsten Rathsack, Sven-Bodo Scholz, Raimund Schröder:
Experience with the Implementation of a Concurrent Graph Reduction System on an nCube/2 Platform.
497-508 BibTeX
- Patrick Lincoln, José Meseguer, Livio Ricciulli:
The Rewrite Rule Machine Node Architecture and Its Performance.
509-520 BibTeX
- Kevin Hammond, James S. Mattson Jr., Simon L. Peyton Jones:
Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer.
521-532 BibTeX
- Wolfgang Schreiner:
Virtual Tasks for the PACLIB Kernel.
533-544 BibTeX
- Jean-Yves Le Gall, François Simon:
MUSE: a Message Passing Concurrent Computer for On-Board Space Systems.
545-556 BibTeX
- R. S. Hogg, David W. Lloyd, W. I. Hughes:
Self-Timed Communication Strategies for Massively Parallel Systolic Architectures.
557-567 BibTeX
Parallel Languages and Compiler Technology
- Nikolay N. Mirenkov:
VIM Language Paradigm.
569-580 BibTeX
- Ming-Dong Feng, Yaoqing Gao, Chung-Kwong Yuen:
Distributed Linda Tuplespace Algorithms and Implementations.
581-592 BibTeX
- Peter R. Bailey, Malcolm C. Newey, David Sitsky, Robin Stanton:
Supporting Coarse and Fine Grain Parallelism in an Extension of ML.
593-604 BibTeX
- Christophe Calvin, Laurent Colombet, Frederic Desprez, B. Jargot, Philippe Michallon, Bernard Tourancheau, Denis Trystram:
Towards Mixed Computation/Communication in Parallel Scientific Libraries.
605-615 BibTeX
- Ross A. Bagley, Philip A. Wilsey, Nael B. Abu-Ghazaleh:
Composing Functional Unit Blocks for Efficient Interpretation of MIMD Code Sequences on SIMD Processors.
616-627 BibTeX
- Josep Llosa, Mateo Valero, José A. B. Fortes, Eduard Ayguadé:
Using Sacks to Organize Registers in VLIW Machines.
628-639 BibTeX
- Ramaswamy Govindarajan, Erik R. Altman, Guang R. Gao:
A Framework for Resource-Constrained Rate-Optimal Software Pipelining.
640-651 BibTeX
- Jean-Yves Berthou:
Design of a Meta-Parallelizer for Large Scientific Applications.
652-663 BibTeX
- Barbara M. Chapman, Piyush Mehrotra, John Van Rosendale, Hans P. Zima:
A Software Architecture for Multidisciplinary Applications: Integrating Task and Data Parallelism.
664-676 BibTeX
- Martin Griebl, Christian Lengauer:
On Scanning Space-Time Mapped While Loops.
677-688 BibTeX
- Mourad Raji Werth, Paul Feautrier:
Optimizing Communications by Using Compile Time Analysis.
689-700 BibTeX
- Rumen Andonov, Sanjay V. Rajopadhye:
Optimal Tile Sizing.
701-712 BibTeX
- Vincent Bouchitté, Pierre Boulet, Alain Darte, Yves Robert:
Evaluating Array Expressions on Massively Parallel Machines with Communication/ Computation Overlap.
713-724 BibTeX
- S. P. Johnson, Cos S. Ierotheou, Mark Cross, P. F. Leggett:
User Interaction and Symbolic Extensions to Dependence Analysis.
725-736 BibTeX
- Vadim Maslov, William Pugh:
Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise.
737-748 BibTeX
Networks and Routing
Scheduling in Distributed Memory Systems
Copyright © Sat May 16 23:03:20 2009
by Michael Ley (ley@uni-trier.de)
