Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005801203/catalog> ?p ?o. }

• catalog abstract ""This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. Besides 9 full paper versions of the invited talks by prominent speakers, 15 revised contributed papers were selected for inclusion in this volume. TPPP '94 focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics covered are models of computation, logic, proof, specification of programs, semantics of languages, implementation of languages and systems, and architectural support for parallellism and massively parallel computation."--PUBLISHER'S WEBSITE.".
• catalog alternative "TPPP '94".
• catalog contributor b8156580.
• catalog contributor b8156581.
• catalog contributor b8156582.
• catalog created "1995.".
• catalog date "1995".
• catalog date "1995.".
• catalog dateCopyrighted "1995.".
• catalog description ""This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. Besides 9 full paper versions of the invited talks by prominent speakers, 15 revised contributed papers were selected for inclusion in this volume. TPPP '94 focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics covered are models of computation, logic, proof, specification of programs, semantics of languages, implementation of languages and systems, and architectural support for parallellism and massively parallel computation."--PUBLISHER'S WEBSITE.".
• catalog description "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 -- ".
• catalog description "Includes bibliographical references.".
• catalog description "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 [and others].".
• catalog description "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 [and others] -- 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 [and others] -- ".
• catalog extent "viii, 483 p. :".
• catalog hasFormat "Theory and practice of parallel programming.".
• catalog identifier "0387591729".
• catalog isFormatOf "Theory and practice of parallel programming.".
• catalog isPartOf "Lecture notes in computer science ; 907".
• catalog issued "1995".
• catalog issued "1995.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog relation "Theory and practice of parallel programming.".
• catalog subject "005.2 20".
• catalog subject "Parallel programming (Computer science) Congresses.".
• catalog subject "QA76.642 .T48 1995".
• catalog tableOfContents "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 -- ".
• catalog tableOfContents "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 [and others].".
• catalog tableOfContents "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 [and others] -- 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 [and others] -- ".
• catalog title "TPPP '94".
• catalog title "Theory and practice of parallel programming : international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings / Takayasu Ito, Akinori Yonezawa, eds.".
• catalog type "Conference proceedings. fast".
• catalog type "Kongress. swd".
• catalog type "text".