Parallel Symbolic Languages and Systems: International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings

✍ Scribed by Marc Feeley (auth.), Takayasu Ito, Robert H. Halstead Jr., Christian Queinnec (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Tongue: English
Leaves: 371
Series: Lecture Notes in Computer Science 1068
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

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

✦ Subjects

Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Processor Architectures; Computer Communication Networks; Data Structures

📜 SIMILAR VOLUMES

Parallel Symbolic Computing: Languages,

📁 Parallel Symbolic Computing: Languages, Systems, and Applications: US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings

✍ Robert H. Halstead Jr., Takayasu Ito (auth.), Robert H. Halstead Jr., Takayasu I 📂 Library 📅 1993 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Parallel and distributed computing are becoming increasingly important as cost-effective ways to achieve high computational performance. Symbolic computations are notable for their use of irregular data structures and hence parallel symbolic computing has its own distinctive set of technical chal

Parallel Algorithms for Irregularly Stru

📁 Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings

✍ T. Gautier, J. L. Roch, G. Villard (auth.), Afonso Ferreira, José Rolim (eds.) 📂 Library 📅 1995 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book presents the proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '95, held in Lyon, France in September 1995. This workshop series addresses issues related to deriving efficient parallel solutions to irregularly structur

Languages and Compilers for Parallel Com

📁 Languages and Compilers for Parallel Computing: 8th International Workshop, LCPC '95 Columbus, Ohio, USA, August 10–12, 1995 Proceeding

✍ Rastislav Bodík, Rajiv Gupta (auth.), Chua-Huang Huang, Ponnuswamy Sadayappan, U 📂 Library 📅 1996 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for Parallel Computing, held in Columbus, Ohio in August 1995. The 38 full revised papers presented were carefully selected for inclusion in the proceedings and reflect the state of the art of

Parallel Processing: CONPAR 92—VAPP V: S

📁 Parallel Processing: CONPAR 92—VAPP V: Second Joint International Conference on Vector and Parallel Processing Lyon, France, September 1–4, 1992 Proceedings

✍ Sandeep N. Bhatt, Fan R. K. Chung (auth.), Luc Bougé, Michel Cosnard, Yves Rober 📂 Library 📅 1992 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This volume presents the proceedings of the joint meeting CONPAR 92 - VAPP V, held in Lyon, France, September 1992. The international Conferences on Parallel Processing (CONPAR) and the meetings on Vector and Parallel Processors in computational science (VAPP) have been held jointly since CONPAR

PARLE '92 Parallel Architectures and Lan

📁 PARLE '92 Parallel Architectures and Languages Europe: 4th International PARLE Conference Paris, France, June 15–18, 1992 Proceedings

✍ C. J. Skelton, C. Hammer, M. Lopez (auth.), Daniel Etiemble, Jean-Claude Syre (e 📂 Library 📅 1992 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

The 1992 Parallel Architectures and Languages Europe conference continues the tradition - of a wide and representative international meeting of specialists from academia and industry in theory, design, and application of parallel computer systems - set by the previous PARLE conferences held in Ei

Hypermedia Design: Proceedings of the In

📁 Hypermedia Design: Proceedings of the International Workshop on Hypermedia Design (IWHD’95), Montpellier, France, 1–2 June 1995

✍ Alicia Díaz, Tomás Isakowitz (auth.), S. Fraïssé, F. Garzotto, T. Isakowitz, J. 📂 Library 📅 1996 🏛 Springer-Verlag London 🌐 English

This is the latest volume in the 'Workshops in Computing' series, and contains papers from the International Workshop on Hpyermedia Design, held in Montpellier, France, from 1 - 2 June 1995. The workshop aimed to provide a forum for researchers and practitioners from a variety of backgrounds to d