ICPP 1988: The Pennsylvania State University, University Park, PA, USA

Proceedings of the International Conference on Parallel Processing, ICPP '88, The Pennsylvania State University, University Park, PA, USA, August 1988, ISBN 0-271-00654-4, Volume 2: Software

Logic Programming

Jie-Yong Juang, Ting-Lu Huang, Ed Freeman: Parallelism in Connection-Graph-Based Logic Inference. 1 BibTeX -8
Ian T. Foster: Parallel Implementation of Parlog. 9-16 BibTeX
Manuel V. Hermenegildo, Evan Tick: Memory Performance of AND-parallel Prolog on Shared-Memory Architectures. 17-21 BibTeX
Arvind K. Bansal, Leon Sterling: Compiling Enumerate-and-Filter Programs for Efficient Execution Under Committed-choice and-Parallelism. 22-25 BibTeX

Compilers I

Weijia Shang, José A. B. Fortes: Independent Partitioning of Algorithms With Uniform Data Dependencies. 26-33 BibTeX
Harlan E. Husmann, David J. Kuck, David A. Padua: Automatic Compound Function Definition for Multiprocessors. 34-41 BibTeX
Gyungho Lee: Automatic Restructuring of Conditional Cyclic Loops. 42-45 BibTeX

Software Tools

Mary L. Bailey, David Socha, David Notkin: Debugging Parallel Programs using Graphical Views. 46-49 BibTeX
Thomas Bemmerl: An Integrated and Portable Tool Environment for Parallel Computers. 50-53 BibTeX
Charles E. McDowell: Viewing Anomalous States in Parallel Programs. 54-57 BibTeX
Kevin Smith, William F. Appelbe: PAT : An Interactive Fortran Parallelizing Assistant Tool. 58-62 BibTeX
Pradip Bose: Heuristic Rule-Based Program Transformations for Enhanced Vectorization. 63-66 BibTeX
Sherryl Tomboulian, Thomas W. Crockett, David Middleton: A Visual Programming Environment for the Navier-Stokes Computer. 67-71 BibTeX

Languages

P. David Stotts: The PFG Language: Visual Programming for Concurrent Computation. 72-79 BibTeX
Stephen Sobeck, Muhammad Azam, James C. Browne: Architecture and Language Independent Parallel Programming: A Feasibility Demonstration. 80-83 BibTeX
Allan L. Fisher, Peter T. Highnam: Communication and code optimization in SIMD programs. 84-88 BibTeX
Lenore M. Restifo Mullin, Ashok Krishnamurthi, Deepa Iyengar: The Design And Development of a Basis alpha_L, for Formal Functional Programming Languages with Arrays Based on a Mathematics of Arrays. 89-93 BibTeX

Distributed Software

Kai Li: IVY: A Shared Virtual Memory System for Parallel Computing. 94-101 BibTeX
Nicholas S. Bowen, Christos Nikolaou, Arif Ghafoor: Hierarchial Workload Allocation for Distributed Systems. 102-109 BibTeX
Tom Geigel, Mike Pagan: A Distributed Application for the PHARROS Project. 110-113 BibTeX

Compilers II

Henry G. Dietz: Finding Large-Grain Parallelism In Loops with Serial Control Dependencies. 114-121 BibTeX
Lee Badger, Mark Weiser: Minimizing Communication for Synchronizing Parallel Dataflow Programs. 122-126 BibTeX
Bruno R. Preiss, V. Carl Hamacher: Semi-Static Dataflow. 127-134 BibTeX

Software

Tom Bennet: Using Control States for Parallelism Extraction. 135-139 BibTeX
Karthikeyan S. Natarajan, Vivek Sarkar: Processor Scheduling Algorithms for Constraint-Satisfaction Search Problems. 140-149 BibTeX
Ryszard Janicki, Peter E. Lauer: On the Semantics Of Priority Systems. 150-156 BibTeX
Kenneth G. Krauss, Samuel L. Gulden: A Petri Net Method for the Formal Verification of Parallel Processes. 157-160 BibTeX

Shared Memory Software

Michael Weiss, C. Robert Morgan, Peter Belmont, Zhixi Fang: Dynamic Scheduling and Memory Management for Parallel Programs. 161-165 BibTeX
Albert J. Musciano, Thomas L. Sterling: Efficient Dynamic Scheduling of Medium-Grained Tasks for General Purpose Parallel Processing. 166-175 BibTeX
Hwa-chung Feng, Richard Fujimoto: A Shared Memory Algorithm And Performance Evaluation Of the Generalized Alternative Construct In CSP. 176-179 BibTeX
Silvano Rivoira: Design Strategies for the Run-Time Support To the ADA Rendezvous. 180-187 BibTeX

Information Spreading

T. M. Ravi, David Jefferson: A Basic Protocol for Routing Messages to Migrating Processes. 188-197 BibTeX
Yijie Han, Raphael A. Finkel: An Optimal Scheme for Disseminating Information. 198-203 BibTeX
Philip K. McKinley: Multicast Routing in Spanning Bus Hypercubes. 204-211 BibTeX

Compilers III

Vincent A. Guarna Jr.: A Technique for Analyzing Pointer and Structure References In Parallel Restructuring Compilers. 212-220 BibTeX
Zhiyuan Li, Pen-Chung Yew: Interprocedural Analysis for Parallel Programs. 221-228 BibTeX
Ron Cytron, Steve Karlovsky, Kevin P. McAuliffe: Automatic Management of Programmable Caches. 229-238 BibTeX

Operating Systems

Virginia Mary Lo: Algorithms for Static Task Assignment and Symmetric Contraction in Distributed Computing Systems. 239-244 BibTeX
Robert H. Thomas, William R. Crowther: The Uniform System: An approach to runtime support for large scale shared memory parallel processors. 245-254 BibTeX
Michael L. Scott, Thomas J. LeBlanc, Brian D. Marsh: Design Rationale for Psyche a General-Purpose Multiprocessor Operating System. 255-262 BibTeX