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.
Author(s): Marc Feeley (auth.), Takayasu Ito, Robert H. Halstead Jr., Christian Queinnec (eds.)
Series: Lecture Notes in Computer Science 1068
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 370
Tags: Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Processor Architectures; Computer Communication Networks; Data Structures
Lazy remote procedure call and its implementation in a parallel variant of C....Pages 1-21
Efficient evaluation strategies for structured concurrency constructs in parallel Scheme systems....Pages 22-52
The semantics of pcall and fork in the presence of first-class continuations and side-effects....Pages 53-77
Understanding the performance of parallel symbolic programs....Pages 79-107
A debugging scheme for fine-grain threads on massively parallel processors with a small amount of log information —Replay and race detection—....Pages 108-127
Distributed prograph: Extended abstract....Pages 128-133
Experiences with strong moding in concurrent logic/constraint programming....Pages 134-153
Portable parallel irregular applications....Pages 155-173
Understanding language support for irregular parallelism....Pages 174-189
Efficient parallel graph coloring with prioritization....Pages 190-208
Group-based fields....Pages 209-214
Parallel symbolic computing in Cid....Pages 215-242
An overview of MPC++ -Extended abstract-....Pages 243-249
Fault tolerance via replication in coarse grain data-flow....Pages 250-265
Experience with parallel symbolic applications in Orca....Pages 266-285
KLIC: A portable parallel implementation of a concurrent logic programming language....Pages 286-294
DM eroon overview of a distributed class-based causally-coherent data model....Pages 295-309
A re-implementation of TransPive: Lessons from the experience....Pages 310-329
The role of distributed Lisp in open hypermedia information systems....Pages 330-335
Foundations for a virtual multicomputer -Progress report-....Pages 336-343
Process calculi at work — An account of the LCS project....Pages 344-361
