TPPP 1994: Sendai, Japan

Takayasu Ito, Akinori Yonezawa (Eds.): 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

@proceedings{DBLP:conf/tppp/1994,
  editor    = {Takayasu Ito and
               Akinori Yonezawa},
  title     = {Theory and Practice of Parallel Programming, International Workshop
               TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings},
  booktitle = {TPPP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {907},
  year      = {1995},
  isbn      = {3-540-59172-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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, Akinori Yonezawa:
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, Norio Shiratori:
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

Last update Fri May 25 08:43:22 2012 CET by the DBLP Team —

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