상세정보

단행본

Ito, T. (Takayasu) 1940- Yonezawa, Akinori.

Theory and practice of parallel programming: international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings / Takayasu Ito, Akinori Yonezawa, eds.

Berlin ;   New York :   Springer-Verlag ,   1995.  

viii, 483 p. : ill. ; 24 cm.

Lecture notes in computer science ; 907

0387591729 3540591729 (Berlin)

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.].

Parallel programming (Computer science) --Congresses.