Buch, Englisch, 370 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1190 g
International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings
Buch, Englisch, 370 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1190 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-61143-1
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Zeichen- und Zahlendarstellungen
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Technische Informatik Hochleistungsrechnen, Supercomputer
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Funktionale, Logische, Parallele und Visuelle Programmierung
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
Weitere Infos & Material
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 parallelimplementation 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.
