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 -8
Ian T. Foster: Parallel Implementation of Parlog. 9-16
Manuel V. Hermenegildo, Evan Tick: Memory Performance of AND-parallel Prolog on Shared-Memory Architectures. 17-21
Arvind K. Bansal, Leon Sterling: Compiling Enumerate-and-Filter Programs for Efficient Execution Under Committed-choice and-Parallelism. 22-25

Compilers I

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

Software Tools

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

Languages

P. David Stotts: The PFG Language: Visual Programming for Concurrent Computation. 72-79
Stephen Sobeck, Muhammad Azam, James C. Browne: Architecture and Language Independent Parallel Programming: A Feasibility Demonstration. 80-83
Allan L. Fisher, Peter T. Highnam: Communication and code optimization in SIMD programs. 84-88
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

Distributed Software

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

Compilers II

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

Software

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

Shared Memory Software

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

Information Spreading

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

Compilers III

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

Operating Systems

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

Last update Wed May 23 00:54:37 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page