HOME > Detail View

Detail View

Theory and practice of parallel programming: international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

Theory and practice of parallel programming: international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

Material type
단행본
Personal Author
Ito, T. (Takayasu) 1940- Yonezawa, Akinori.
Title Statement
Theory and practice of parallel programming: international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings / Takayasu Ito, Akinori Yonezawa, eds.
Publication, Distribution, etc
Berlin ;   New York :   Springer-Verlag ,   1995.  
Physical Medium
viii, 483 p. : ill. ; 24 cm.
Series Statement
Lecture notes in computer science ; 907
ISBN
0387591729 3540591729 (Berlin)
Content Notes
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.].
Subject Added Entry-Topical Term
Parallel programming (Computer science) --Congresses.
000 03327camuuu200289 a 4500
001 000000475261
003 OCoLC
005 19970411112829.0
008 950306s1995 gw a 100 0 eng
010 ▼a 95010412
020 ▼a 0387591729
020 ▼a 3540591729 (Berlin)
040 ▼a DLC ▼c DLC ▼d RRR ▼d GZM ▼d PMC
049 ▼a ACSL ▼l 121024349
050 0 0 ▼a QA76.642 ▼b .T48 1995
082 0 0 ▼a 005.2 ▼2 20
090 ▼a 005.2 ▼b T396
245 0 0 ▼a Theory and practice of parallel programming: ▼b international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings / ▼c Takayasu Ito, Akinori Yonezawa, eds.
260 ▼a Berlin ; ▼a New York : ▼b Springer-Verlag , ▼c 1995.
300 ▼a viii, 483 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Lecture notes in computer science ; ▼v 907
505 0 ▼a 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.].
650 0 ▼a Parallel programming (Computer science) ▼x Congresses.
700 1 ▼a Ito, T. ▼q (Takayasu) ▼d 1940-
700 1 ▼a Yonezawa, Akinori.
711 2 ▼a International Workshop on Theory and Practice of Parallel Programming ▼n (1st : ▼d 1994 : ▼c Sendai-han, Japan)

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Stacks 1(Western Books)/ Call Number 005.2 T396 1994 Accession No. 121024349 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields