Parallel Symbolic Languages and Systems: International Workshop Psls'95, Beaune, France, October 2-4, 1995 : Proceedings
貴康 伊藤, Robert H. Halstead, Christian Queinnec · Medical Entomology and Zoology · 1996
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 implementation of a concurrent logic programming language.- DMeroon overview of a distributed class-based causally-coherent data model.- A re-implementation of TransPive: Lessons from the experience.- The role of distributed Lisp in open hypermedia information systems.- Foundations for a virtual multicomputer -Progress report-.- Process calculi at work - An account of the LCS project.