Theory and Practice of Parallel Programming [electronic resource] : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings /
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.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1995
|
Subjects: | Computer science., Microprocessors., Computer system failures., Architecture, Computer., Software engineering., Computer programming., Computer Science., Computer System Implementation., Software Engineering/Programming and Operating Systems., Processor Architectures., System Performance and Evaluation., Programming Techniques., Software Engineering., |
Online Access: | http://dx.doi.org/10.1007/BFb0026561 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:198983 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1989832018-07-30T23:25:26ZTheory and Practice of Parallel Programming [electronic resource] : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings / Ito, Takayasu. editor. Yonezawa, Akinori. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1995.engThis 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.Time and information in sequential and concurrent computation -- Notes on P-algebra 1: Process structure -- Simulating guarded programs in linear logic -- Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language -- Multi-threaded PaiLisp with granularity adaptive parallel execution -- StackThreads: An abstract machine for scheduling fine-grain threads on stock CPUs -- Higher-order concurrent linear logic programming -- A parallel object-oriented language OCore -- Concurrent objects in a process calculus -- A formalism for remotely interacting processes -- ProCSuS: A meta system for concurrent process calculi based on SOS -- First-class synchronous operations -- Self-describing files + smart modules= parallel program visualization -- A performance debugger for parallel logic programming language fleng -- First class continuation facilities in concurrent programming language Harmony/2 -- Locality abstractions for parallel and distributed computing -- An algorithm for efficient global garbage collection on massively parallel computers (extend abstract) -- I/O mode analysis in concurrent logic programming -- Advanced component interface specification -- Graph notation for concurrent combinators -- A calculus for exploiting data parallelism on recursively defined data -- The data-parallel C language NCX and its implementation strategies -- A dataflow-based massively parallel programming language “V” and its implementation on a stock parallel machine -- Programming with distributed data structure for EM-X multiprocessor.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.Computer science.Microprocessors.Computer system failures.Architecture, Computer.Software engineering.Computer programming.Computer Science.Computer System Implementation.Software Engineering/Programming and Operating Systems.Processor Architectures.System Performance and Evaluation.Programming Techniques.Software Engineering.Springer eBookshttp://dx.doi.org/10.1007/BFb0026561URN:ISBN:9783540492184 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Microprocessors. Computer system failures. Architecture, Computer. Software engineering. Computer programming. Computer Science. Computer System Implementation. Software Engineering/Programming and Operating Systems. Processor Architectures. System Performance and Evaluation. Programming Techniques. Software Engineering. Computer science. Microprocessors. Computer system failures. Architecture, Computer. Software engineering. Computer programming. Computer Science. Computer System Implementation. Software Engineering/Programming and Operating Systems. Processor Architectures. System Performance and Evaluation. Programming Techniques. Software Engineering. |
spellingShingle |
Computer science. Microprocessors. Computer system failures. Architecture, Computer. Software engineering. Computer programming. Computer Science. Computer System Implementation. Software Engineering/Programming and Operating Systems. Processor Architectures. System Performance and Evaluation. Programming Techniques. Software Engineering. Computer science. Microprocessors. Computer system failures. Architecture, Computer. Software engineering. Computer programming. Computer Science. Computer System Implementation. Software Engineering/Programming and Operating Systems. Processor Architectures. System Performance and Evaluation. Programming Techniques. Software Engineering. Ito, Takayasu. editor. Yonezawa, Akinori. editor. SpringerLink (Online service) Theory and Practice of Parallel Programming [electronic resource] : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings / |
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. |
format |
Texto |
topic_facet |
Computer science. Microprocessors. Computer system failures. Architecture, Computer. Software engineering. Computer programming. Computer Science. Computer System Implementation. Software Engineering/Programming and Operating Systems. Processor Architectures. System Performance and Evaluation. Programming Techniques. Software Engineering. |
author |
Ito, Takayasu. editor. Yonezawa, Akinori. editor. SpringerLink (Online service) |
author_facet |
Ito, Takayasu. editor. Yonezawa, Akinori. editor. SpringerLink (Online service) |
author_sort |
Ito, Takayasu. editor. |
title |
Theory and Practice of Parallel Programming [electronic resource] : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings / |
title_short |
Theory and Practice of Parallel Programming [electronic resource] : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings / |
title_full |
Theory and Practice of Parallel Programming [electronic resource] : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings / |
title_fullStr |
Theory and Practice of Parallel Programming [electronic resource] : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings / |
title_full_unstemmed |
Theory and Practice of Parallel Programming [electronic resource] : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings / |
title_sort |
theory and practice of parallel programming [electronic resource] : international workshop tppp '94 sendai, japan, november 7–9, 1994 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1995 |
url |
http://dx.doi.org/10.1007/BFb0026561 |
work_keys_str_mv |
AT itotakayasueditor theoryandpracticeofparallelprogrammingelectronicresourceinternationalworkshoptppp94sendaijapannovember791994proceedings AT yonezawaakinorieditor theoryandpracticeofparallelprogrammingelectronicresourceinternationalworkshoptppp94sendaijapannovember791994proceedings AT springerlinkonlineservice theoryandpracticeofparallelprogrammingelectronicresourceinternationalworkshoptppp94sendaijapannovember791994proceedings |
_version_ |
1756267228669411328 |