ICPP 1990: Urbana-Champaign, IL, USA

David A. Padua (Ed.): Proceedings of the 1990 International Conference on Parallel Processing, Volume 2: Software, Urbana-Champaign, IL, August 1990. Pennsylvania State University Press 1990, ISBN 0-271-00728-1 BibTeX

@proceedings{DBLP:conf/icpp/1990-2,
  editor    = {David A. Padua},
  title     = {Proceedings of the 1990 International Conference on Parallel
               Processing, Volume 2: Software, Urbana-Champaign, IL, August
               1990},
  booktitle = {ICPP (2)},
  publisher = {Pennsylvania State University Press},
  year      = {1990},
  isbn      = {0-271-00728-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Compilers I

Youfeng Wu, Ted G. Lewis: Parallelizing WHILE Loops. 1-8 BibTeX
Angelika Zobel: Parallel Interval Analysis of Data Flow Equations. 9-16 BibTeX

Programming Languages

Laxmikant V. Kalé: The Chare Kernel Parallel Programming Language and System. 17-25 BibTeX
Ian T. Foster, Rick L. Stevens: Parallel Programming with Algorithmic Motifs. 26-34 BibTeX
Youfeng Wu, Ted G. Lewis: Parallelism Encapsulation in C++. 35-42 BibTeX

Dataflow

Micah Beck, Keshav Pingali: From Control Flow to Dataflow. 43-52 BibTeX
Handong Wu, Lars-Erik Thorelli: Extending Dataflow Principles for Multiprocessing. 53-60 BibTeX
Ashar Nisar, Henry G. Dietz: Optimal Code Scheduling for Multiple-Pipeline Processors. 61-64 BibTeX
Yi-Hsiu Wei, Jean-Luc Gaudiot: Compiling Programs to Direct Access Data-Flow Graphs. 65-69 BibTeX

Program Analysis Techniques and Tools

David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang: Analyzing Traces with Anonymous Synchronization. 70-77 BibTeX
Stephen P. Masticola, Barbara G. Ryder: Static Infinite Wait Anomaly Detection in Polynomial Time. 78-87 BibTeX
Virginia Mary Lo, Sanjay V. Rajopadhye, Samik Gupta, David Keldsen, Moataz A. Mohamed, Jan Arne Telle: OREGAMI: Software Tools for Mapping Parallel Computations to Parallel Architectures. 88-92 BibTeX
Robert H. B. Netzer, Barton P. Miller: On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. 93-97 BibTeX

Compilers II

Chung-Chi Jim Li, W. Kent Fuchs: Maintaining Scalable Checkpoints on Hypercubes. 98-104 BibTeX
Samuel P. Midkiff, David A. Padua: Issues in the Optimization of Parallel Programs. 105-113 BibTeX
Ki-Chang Kim, Alexandru Nicolau: Parallelizing Non-Vectorizable Loops for MIMD Machines. 114-118 BibTeX
Lang-Sheng Liu, Chin-Wen Ho, Jang-Ping Sheu: On the Parallelism of Nested For-Loops Using Index Shift Method. 119-123 BibTeX

Mapping, Partitioning, and Program Visualization

Alfred Hough, Janice E. Cuny: Perspective Views: A Technique for Enhancing Parallel Program Visualization. 124-132 BibTeX
Camille Batarekh: On the Mapping of Program Graphs Onto Pipeline Nets. 133-136 BibTeX
Vipin Chaudhary, Jake K. Aggarwal: Generalized Mapping of Parallel Algorithms Onto Parallel Architectures. 137-141 BibTeX
Keshav Pingali, Anne Rogers: Compiling for Locality. 142-146 BibTeX
Eyal Zimran, Manohar Rao, Zary Segall: Performance Efficient Mapping of Applications to Parallel and Distributed Architectures. 147-154 BibTeX

Performance Evaluation

Srikanth Kambhatla, Jon Inouye, Jonathan Walpole: Experiences with BeLinda: A Synthetic Linda Benchmark for Parallel Computing Platforms. 155-162 BibTeX
Calvin Lin, Lawrence Snyder: A Comparison of Programming Models for Shared Memory Multiprocessors. 163-170 BibTeX
Marc Willebeek-LeMair, Anthony P. Reeves, Chun H. Ning: Characterization of Multicomputer Systems: A Transfer Ratio Approach. 171-178 BibTeX

Partitioning, Synchronization, and Static Scheduling

J. Ramanujam, P. Sadayappan: Tiling of Iteration Spaces for Multicomputers. 179-186 BibTeX
Abderrazek Zaafrani, Henry G. Dietz, Matthew T. O'Keefe: Static Scheduling for Barrier MIMD Architectures. 187-194 BibTeX
Yitzhak Birk, Phillip B. Gibbons, Jorge L. C. Sanz, Danny Soroker: A Simple Mechanism for Efficient Barrier Synchronization in MIMD Machines. 195-198 BibTeX
Carolyn McCreary, Helen Gill: Efficient Exploitation of Concurrency Using Graph Decomposition. 199-203 BibTeX

Compilers III

Xiangyun Kong, David Klappholz, Kleanthis Psarris: The I Test: A New Test for Subscript Data Dependence. 204-211 BibTeX
Hudson Benedito Ribas: Obtaining Dependence Vectors for Nested-Loop Computations. 212-219 BibTeX
Dirk Grunwald: Data Dependence Analysis: The Lambda Test Revisited. 220-223 BibTeX
K. Sridharan, Ravi Narayanaswamy, Carole Denton, William Eventoff: Parallel Structuring of Programs Containing I/O Statements. 224-228 BibTeX

Production Systems and Logic Programming

Wen-Tsuen Chen, Ming-Yi Fang: Vectorization Techniques for Theorem Proving in Propositional Logic. 229-235 BibTeX
Evan Tick, Jim A. Crammond: Comparison of Two Shared-Memory Emulators for Flat Committed-Choice Logic Programs. 236-242 BibTeX
Steve Kuo, Dan I. Moldovan, Seungho Cha: Control in Production Systems with Multiple Rule Firings. 243-246 BibTeX
Daniel P. Miranker, Chin-Ming Kuo, James C. Browne: Parallelizing Compilation of Rule-Based Programs. 247-251 BibTeX

Data Management and Placement

Lothar Borrmann, Martin Herdieckerhoff: A Coherency Model for Virtually Shared Memory. 252-257 BibTeX
Patrick M. Clancey, Joan M. Francioni: Distribution of Pages in a Distributed Virtual Memory. 258-265 BibTeX
Josep Torrellas, Monica S. Lam, John L. Hennessy: Share Data Placement Optimizations to Reduce Multiprocessor Cache Miss Rates. 266-270 BibTeX
Zhixi Fang: Cache or Local Memory Thrashing and Compiler Strategy in Parallel Processing Systems. 271-275 BibTeX

Parallel Software Management

Martin Adelantado, Nourredine Hifdi: MaRGOH: A Parallel Programming Approach for a Massive Cluster-Oriented System. 276-277 BibTeX
Bernd Bruegge, Frank Walzer: Runtime Monitoring in a Network Environment. 278-279 BibTeX
Yigang Chen, Wei-Tek Tsai: A Synthesis Approach to Developing Large Petri Nets. 280-281 BibTeX
Jyh-Herng Chow, Williams Ludwell Harrison III: Microtasking Recursive, Parallel Programs. 282-283 BibTeX
Tzilla Elrad, N. Krishna Kumar: State-Space Abstraction of Concurrent Programs: A Means to Computation-Progressive Scheduling. 284-285 BibTeX
William G. Griswold, Gail A. Harrison, David Notkin, Lawrence Snyder: How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms. 286-287 BibTeX
Magne Haveraaen: Distributing Programs on Different Parallel Architectures. 288-289 BibTeX
Lorenz Huelsbergen, Douglas Hahn, James R. Larus: Exact Data Dependence Analysis Using Data Access Descriptors. 290-291 BibTeX
Kai Hwang, Jian Xu: Mapping Partitioned Program Modules Onto Multicomputer Nodes Using Simulated Annealing. 292-293 BibTeX
Hironori Kasahara, Hiroki Honda, M. Iwata, M. Hirota: A Compilation Scheme for Macro-Dataflow Computation on Hierarchical Multiprocessor Systems. 294-295 BibTeX
Kichul Kim, Viktor K. Prasanna: An Efficient Mapping of Directed Graph Based Computations onto SIMD Hypercube Arrays and Applications. 296-297 BibTeX
Ted Lehr, David Black, Zary Segall, Dalibor F. Vrsalovic: Visualizing Context-Switches Using PIE and the Mach Kernel Monitor. 298-299 BibTeX
Santosh Pande, Dharma P. Agrawal, Jon Mauney: On Control Flow and Pseudo-Static Dynamic Allocation Strategy. 300-301 BibTeX
Behrooz Shirazi, David D. H. Lin: An Asynchronous Communication Protocol for Heterogeneous Distributed Programming. 302 BibTeX