Find a copy online
Links to this item
springerlink.metapress.com Restricted to SpringerLink subscribers
Find a copy in the library
Finding libraries that hold this item...
Details
| Material Type: | Conference publication, Internet resource |
|---|---|
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
T Itō; Akinori Yonezawa |
| ISBN: | 0387591729 9780387591728 3540591729 9783540591726 |
| OCLC Number: | 32202164 |
| Description: | viii, 483 p. : ill. ; 24 cm. |
| Contents: | Time and information in sequential and concurrent computation / Vaughan Pratt -- Notes on P-algebra 1 : process structure / Kohei Honda -- Simulating guarded programs in linear logic / Max I. Kanovich -- Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language / Christian Queinnec -- Multi-threaded PaiLisp with granularity adaptive parallel execution / Shin-ichi Kawamoto, Takayasu Ito -- StackThreads : an abstract machine for scheduling fine-grain threads on stock CPUs / Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa -- Higher-order concurrent linear logic programming / Naoki Kobayashi, Akinori Yonezawa -- A parallel object-oriented language OCore / Hiroki Konaka ... [et al.] -- Concurrent objects in a process calculus / Benjamin C. Pierce, David N. Turner -- A formalism for remotely interacting processes / Ichiro Satoh, Mario Tokoro -- ProCSuS : a meta system for concurrent process calculi based on SOS / Atsushi Togashi ... [et al.] -- First-class synchronous operations / John H. Reppy -- Self-describing files + smart modules = parallel program visualization / Robert H. Halstead, Jr. -- A performance debugger for a parallel logic programming language Fleng / Junichi Tatemura, Hanpei Koike, Hidehiko Tanaka -- First class continuation facilities in concurrent programming language Harmony/2 / Ken Wakita -- Locality abstractions for parallel and distributed computing / Suresh Jagannathan -- An algorithm for efficient global garbage collection on massively parallel computers / Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa -- I/O mode analysis in concurrent logic programming / Kazunori Ueda -- Advanced component interface specification / Manfred Broy -- Graph notation for concurrent combinators / Nobuko Yoshida -- A calculus for exploiting data parallelism on recursively defined data / Susumu Nishimura, Atsushi Ohori -- The data-parallel C language NCX and its implementation strategies / Taiichi Yuasa, Toshiro Kijima, Yutaka Konishi -- A dataflow-based massively parallel programming language "V" and its implementation on a stock parallel machine / Shigeru Kusakabe, Makoto Amamiya -- Programming with distributed data structure for EM-X multiprocessor / Mitsuhisa Sato ... [et al.]. |
| Series Title: | Lecture notes in computer science, 907 |
| Other Titles: | TPPP '94 |
| Responsibility: | Takayasu Ito, Akinori Yonezawa, eds. |
Reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Theory and practice of parallel programming : international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings".
Be the first.