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.

Saved in:
Bibliographic Details
Main Authors: Ito, Takayasu. editor., Yonezawa, Akinori. editor., SpringerLink (Online service)
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!
Description
Summary: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.