Parallel Symbolic Languages and Systems : International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings. 1st ed. 1996

種類:

電子ブック

責任表示:

edited by Takayasu Ito, Robert H. Jr. Halstead, Christian Queinnec

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996

著者名:

• Ito, Takayasu.
• Halstead, Robert H. Jr.
• Queinnec, Christian.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 1068

ISBN:

9783540683322 [3540683321]    

注記:

Lazy remote procedure call and its implementation in a parallel variant of C -- Efficient evaluation strategies for structured concurrency constructs in parallel Scheme systems -- The semantics of pcall and fork in the presence of first-class continuations and side-effects -- Understanding the performance of parallel symbolic programs -- A debugging scheme for fine-grain threads on massively parallel processors with a small amount of log information —Replay and race detection— -- Distributed prograph: Extended abstract -- Experiences with strong moding in concurrent logic/constraint programming -- Portable parallel irregular applications -- Understanding language support for irregular parallelism -- Efficient parallel graph coloring with prioritization -- Group-based fields -- Parallel symbolic computing in Cid -- An overview of MPC++ -Extended abstract- -- Fault tolerance via replication in coarse grain data-flow -- Experience with parallel symbolic applications in Orca -- KLIC: A portable parallel implement
This book presents the refereed proceedings of the International Workshop on Parallel Symbolic Languages and Systems, PSLS '95, held in Beaune, France, in October 1995. The 21 full papers included in the book were carefully selected for presentation at the meeting and thoroughly revised afterwards. Parallel symbolic computing has gained in importance for high-performance computing; in recent years, many applications have been implemented using C, C++, and their parallel extensions. This volume is organized in sections on evaluation strategies, programming tools, irregular data structures and applications, systems, and distributed models and systems.

ローカル注記:

学内専用E-BOOKS (local access only)