Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings
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 afterwa...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
1068 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Parallel symbolic languages and systems, International Workshop PSLS'95, Beaune, France, October 2-4, 1995, proceedings, Takayasu Ito, Robert H. Halstead, Jr., Christian Queinnec, eds, 1996, New York, Springer, 1 vol. (X-361 p.), Lecture notes in computer science, 3-540-61143-6 • Parallel Symbolic Languages and Systems, Texte imprimé, 9783662174739 |
| LEADER | 04849nam a22004937a 4500 | ||
|---|---|---|---|
| 001 | 945342 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155223933 | ||
| 020 | |a 9783540683322 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.2 | ||
| 111 | 2 | |a International Workshop on Parallel symbolic languages and systems |c :1995) |c :Beaune, Côte-d'Or). | |
| 245 | 1 | 0 | |a Parallel symbolic languages and systems : |b International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings |c [edited by] Takayasu Ito, Robert H. Halstead, Christian Queinnec. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1068 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Parallélisme (linguistique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Itō, Takayasu, |d 1940- |4 pbd | |
| 700 | 1 | |a Halstead, Robert H., Jr., |d 1953- |4 pbd | |
| 700 | 1 | |a Queinnec, Christian, |d 1951- |4 pbd | |
| 776 | 0 | |0 025243659 |t Parallel symbolic languages and systems |o International Workshop PSLS'95, Beaune, France, October 2-4, 1995 |o proceedings |f Takayasu Ito, Robert H. Halstead, Jr., Christian Queinnec, eds |d 1996 |c New York |n Springer |p 1 vol. (X-361 p.) |s Lecture notes in computer science |z 3-540-61143-6 | |
| 776 | 0 | |t Parallel Symbolic Languages and Systems |b Texte imprimé |z 9783662174739 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0023052 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-XTWZGMKC-8 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747911436 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0023052 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750924233 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0023052 |z Accès INSA CVL | |
| 997 | |0 945342 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||