


default search action
IFIP PACT 1994: Montréal, Canada
- Michel Cosnard, Guang R. Gao, Gabriel M. Silberman:

Parallel Architectures and Compilation Techniques, Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT'94, Montréal, Canada, 24-26 August, 1994. IFIP Transactions A-50, North-Holland 1994, ISBN 0-444-81926-6
Part 1 - High-Performance Architectures
- Mitsuhisa Sato, Yuetsu Kodama, Shuichi Sakai, Yoshinori Yamaguchi:

EM-C: Programming with Explicit Parallelism and Locality for EM-4 Multiprocessor. 3-14 - Jesper Vasell:

A Fine-Grain Threaded Abstract Machine. 15-24 - David H. Albonesi, Israel Koren:

Tradeoffs in the Design of Single Chip Multiprocessors. 25-34
Part 2 - Code Generation for Multithreaded and Dataflow Architectures
- Lucas Roh, Walid A. Najjar, Bhanu Shankar, A. P. Wim Böhm:

An Evaluation of Optimized Threaded Code Generation. 37-46 - Sumit Sur, A. P. Wim Böhm:

Functional I-structure, and M-structure Implementations of NAS Benchmark FT. 47-56 - Masahiro Yasugi, Satoshi Matsuoka, Akinori Yonezawa:

The Plan-Du Style Compilation Technique for Eager Data Transfer in Thread-Based Execution. 57-66
Part 3 - Memory and Cache Issues
- Trung N. Nguyen, Farnaz Mounes-Toussi, David J. Lilja, Zhiyuan Li:

A Compiler-Assisted Scheme for Adaptive Cache Coherence Enforcement. 69-78 - David Glasco, Bruce Delagi, Michael J. Flynn:

The Impact of Cache Coherence Protocols on Systems using Fine-Grain Data Synchronization. 79-88 - Abhaya Asthana, Mark Cravatts, Paul Krzyzanowski:

Towards a Programming Environment for a Computer with Intelligent Memory. 89-98
Part 4 - Distributed Memory Machines
- Inkyu Kim, Michael Wolfe:

Communication Analysis for Multicomputer Compilers. 101-110 - Robert E. Bixby, Ken Kennedy, Ulrich Kremer:

Automatic Data Layout Using 0-1 Integer Programming. 111-122 - Ernesto Su, Daniel J. Palermo, Prithviraj Banerjee:

Processor Tagged Descriptors: A Data Structure for Compiling for Distributed-Memory Multicomputers. 123-132
Part 5 - Multi-Level Parallelism
- David A. Berson, Rajiv Gupta, Mary Lou Soffa:

Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers. 135-146 - Mantipragada Srinivas, Alexandru Nicolau, Vicki H. Allan:

An Approach to Combine Predicated/Speculative Execution for Programs with Unpredictable Branches. 147-156 - Chris J. Newburn, Derek B. Noonburg, John Paul Shen:

A PDG-based Tool and its Use in Analyzing Program Control Dependences. 157-168
Part 6 - Compiling for Parallel Machines
- Tor E. Jeremiassen, Susan J. Eggers:

Static Analysis of Barrier Synchronization in Explicitly Parallel Programs. 171-180 - Rajeev J. Surati, Andrew A. Berlin:

Exploiting the Parallelism Exposed by Partial Evaluation. 181-192 - Mayez A. Al-Mouhamed, Lubomir Bic:

Effects of Loop Fusion and Statement Migration on the Speedup of Vector Multiprocessors. 193-202
Part 7 - Logic Languages
- Evan Tick:

Practical Static Mode Analyses of Concurrent Logic Languages. 205-214 - Barton C. Massey, Evan Tick:

Demand-Driven Dataflow for Concurrent Committed-Choice Code. 215-224 - Hiecheol Kim, Jean-Luc Gaudiot:

Exploitation of Fine-grain Parallelism in Logic Languages on Massively Parallel Architectures. 225-234
Part 8 - Application Specific Architectures
- Olivier Maffeïs, Paul Le Guernic:

From SIGNAL to fine-grain parallel implementations. 237-246 - Rainer Leupers, Wolfgang Schenk, Peter Marwedel:

Microcode Generation for Flexible Parallel Target Architectures. 247-256 - Hidemoto Nakada, Takuya Araki, Hanpei Koike, Hidehiko Tanaka:

A Fleng Compiler for PIE64. 257-266
Part 9 - Functional Languages, Dataflow Models and Implementation
- Panos Rondogiannis, William W. Wadge:

Compiling Higher-Order Functions for Tagged-Dataflow. 269-278 - Shigeru Kusakabe, Eiichi Takahashi, Rin-Ichiro Taniguchi, Makoto Amamiya:

Dataflow-Based Lenient Implementation of a Functional Language, Valid, on Conventional Multi-processors. 279-288 - Péter Kacsuk:

Dataflow and Logicflow Models for Defining a Parallel Prolog Abstract Machine. 289-298 - John Sargeant, Chris C. Kirkham, Steve Anderson:

Towards a Computational Model for UFO. 299-308
Part 10 - Short Papers
- Vicki H. Allan, M. R. O'Neill:

Software pipelining: A Genetic Algorithm Approach. 311-314 - Chandra R. Asthagiri, Jerry L. Potter:

Parallel Compilation on Associative Computers. 315-318 - Andrea Capitanio, Nikil D. Dutt

, Alexandru Nicolau:
Partitioning of Variables for Multiple-Register-File Architectures via Hypergraph Coloring. 319-322 - Scott M. Denton, John Feo, Patrick Miller:

Realizing Parallel Reduction Operations in Sisal 1.2. 323-326 - Benoît Dupont de Dinechin:

An Introduction to Simplex Scheduling. 327-330 - James S. Mattson Jr., William G. Griswold:

Speculative Evaluation for Parallel Graph Reduction. 331-334 - Avi Mendelson, Bilha Mendelson:

Toward a General-Purpose Multi-Stream System. 335-338 - Cyril Meurillon, Ciaran O'Donnell:

Representing Control Flow Behaviour of Programs. 339-342 - Ron Sass, Matt W. Mutka:

Transformations on Doubly Nested Loops. 343-346 - David F. Snelling, Gregory K. Egan:

A Comparative Study of Data-Flow Architectures. 347-350 - Andrew Sohn, Lingmian Kong, Mitsuhisa Sato:

Progress Report on Porting Sisal to the EM-4 Multiprocessor. 351-354 - Jonas Vasell:

Static vs. Dynamic Strategies for Fine-Grain Dataflow Synchronization. 355-358 - Jian Wang, Andreas Krall, M. Anton Ertl, Christine Eisenbeis:

Trace Software Pipelining: A Novel Technique for Parallelization of Loops with Branches. 359-362

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














