default search action
TPPP 1994: Sendai, Japan
- Takayasu Ito, Akinori Yonezawa:
Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings. Lecture Notes in Computer Science 907, Springer 1995, ISBN 3-540-59172-9
Invited Talk 1
- Vaughan R. Pratt:
Time and Information in Sequential and Concurrent Computation. 1-24 - Kohei Honda:
Notes on P-Algebra 1: Process Structure. 25-44 - Max I. Kanovich:
Simulating Guarded Programs in Linear Logic. 45-69
Invited Talk 2
- Christian Queinnec:
Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language. 70-93 - Shin'ichi Kawamoto, Takayasu Ito:
Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution. 94-120 - Kenjiro Taura
, Satoshi Matsuoka, Akinori Yonezawa:
StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs. 121-136
Invited Talk 3
- Naoki Kobayashi
Higher-Order Concurrent Linear Logic Programming. 137-166 - Hiroki Konaka, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori:
A Parallel Object-Oriented Language OCore. 167-186
Invited Talk 4
- Benjamin C. Pierce:
Concurrent Objects in a Process Calculus. 187-215 - Ichiro Satoh, Mario Tokoro:
A Formalism for Remotely Interacting Processes. 216-228 - Atsushi Togashi, Sen Yoshida, Shigetomo Kimura
ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS. 229-234
Invited Talk 5
- John H. Reppy:
First-class Synchronous Operations. 235-252
Invited Talk 6
- Robert H. Halstead Jr.:
Self-Describing Files + Smart Modules = Parallel Program Visualization. 253-283 - Jun'ichi Tatemura, Hanpei Koike, Hidehiko Tanaka:
A Performance Debugger for a Parallel Logic Programming Language Fleng. 284-299 - Ken Wakita:
First Class Continuation Facilities in Concurrent Programming Language Harmony/2. 300-319
Invited Talk 7
- Suresh Jagannathan:
Locality Abstractions for Parallel and Distributed Computing. 320-345 - Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa:
An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers. 346-355 - Kazunori Ueda:
I/O Mode Analysis in Concurrent Logic Programming. 356-368
Invited Talk 8
- Manfred Broy:
Advanced Component Interface Specification. 369-392 - Nobuko Yoshida
Graph Notation for Concurrent Combinators. 393-412 - Susumu Nishimura, Atsushi Ohori:
A Calculus for Exploiting Data Parallelism on Recursively Defined Data. 413-432
Invited Talk 9
- Taiichi Yuasa, Toshiro Kijima, Yutaka Konishi:
The Data-Parallel C Language NCX and Its Implementation Strategies. 433-456 - Shigeru Kusakabe, Makoto Amamiya:
A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine. 457-471 - Mitsuhisa Sato, Yuetsu Kodama, Hirofumi Sakane, Yoshinori Yamaguchi, Shuichi Sakai
Programming with Distributed Data Structure for EM-X Multiprocessor. 472-483
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.
last updated on 2024-11-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: