Overview

This volume presents the proceedings of the 1st International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. The conference 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 programmes, semantics of languages, implementation of languages and systems, and architectural support for parallelism and massively parallel computation.

Full Product Details

Author:   Takayasu Ito ,  Akinori Yonezawa
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1995 ed.
Volume:   907
Dimensions:   Width: 21.60cm , Height: 2.50cm , Length: 27.90cm
Weight:   1.540kg
ISBN:  

9783540591726

ISBN 10:   3540591729
Pages:   488
Publication Date:   21 April 1995
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions