Sign in
Theory and Practice of Parallel Programming
1994
1994
1994
Keyphrases
Publications
1994
John H. Reppy
First-class Synchronous Operations.
Theory and Practice of Parallel Programming
(1994)
Suresh Jagannathan
Locality Abstractions for Parallel and Distributed Computing.
Theory and Practice of Parallel Programming
(1994)
Kenjiro Taura
,
Satoshi Matsuoka
,
Akinori Yonezawa
StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs.
Theory and Practice of Parallel Programming
(1994)
Kohei Honda
Notes on P-Algebra 1: Process Structure.
Theory and Practice of Parallel Programming
(1994)
Jun'ichi Tatemura
,
Hanpei Koike
,
Hidehiko Tanaka
A Performance Debugger for a Parallel Logic Programming Language Fleng.
Theory and Practice of Parallel Programming
(1994)
Mitsuhisa Sato
,
Yuetsu Kodama
,
Hirofumi Sakane
,
Yoshinori Yamaguchi
,
Shuichi Sakai
Programming with Distributed Data Structure for EM-X Multiprocessor.
Theory and Practice of Parallel Programming
(1994)
Nobuko Yoshida
Graph Notation for Concurrent Combinators.
Theory and Practice of Parallel Programming
(1994)
Benjamin C. Pierce
Concurrent Objects in a Process Calculus.
Theory and Practice of Parallel Programming
(1994)
Naoki Kobayashi
,
Akinori Yonezawa
Higher-Order Concurrent Linear Logic Programming.
Theory and Practice of Parallel Programming
(1994)
Kazunori Ueda
I/O Mode Analysis in Concurrent Logic Programming.
Theory and Practice of Parallel Programming
(1994)
Manfred Broy
Advanced Component Interface Specification.
Theory and Practice of Parallel Programming
(1994)
Ken Wakita
First Class Continuation Facilities in Concurrent Programming Language Harmony/2.
Theory and Practice of Parallel Programming
(1994)
Tomio Kamada
,
Satoshi Matsuoka
,
Akinori Yonezawa
An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers.
Theory and Practice of Parallel Programming
(1994)
Hiroki Konaka
,
Takashi Tomokiyo
,
Munenori Maeda
,
Yutaka Ishikawa
,
Atsushi Hori
A Parallel Object-Oriented Language OCore.
Theory and Practice of Parallel Programming
(1994)
Max I. Kanovich
Simulating Guarded Programs in Linear Logic.
Theory and Practice of Parallel Programming
(1994)
Robert H. Halstead Jr.
Self-Describing Files + Smart Modules = Parallel Program Visualization.
Theory and Practice of Parallel Programming
(1994)
Ichiro Satoh
,
Mario Tokoro
A Formalism for Remotely Interacting Processes.
Theory and Practice of Parallel Programming
(1994)
Christian Queinnec
Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language.
Theory and Practice of Parallel Programming
(1994)
Shigeru Kusakabe
,
Makoto Amamiya
A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine.
Theory and Practice of Parallel Programming
(1994)
Shin'ichi Kawamoto
,
Takayasu Ito
Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution.
Theory and Practice of Parallel Programming
(1994)
Atsushi Togashi
,
Sen Yoshida
,
Shigetomo Kimura
,
Norio Shiratori
ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS.
Theory and Practice of Parallel Programming
(1994)
Taiichi Yuasa
,
Toshiro Kijima
,
Yutaka Konishi
The Data-Parallel C Language NCX and Its Implementation Strategies.
Theory and Practice of Parallel Programming
(1994)
Susumu Nishimura
,
Atsushi Ohori
A Calculus for Exploiting Data Parallelism on Recursively Defined Data.
Theory and Practice of Parallel Programming
(1994)
Vaughan R. Pratt
Time and Information in Sequential and Concurrent Computation.
Theory and Practice of Parallel Programming
(1994)