Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings
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 challen...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
748 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Actes d'un séminaire tenu à Cambridge du 14 au 17 octobre 1992, d'après l écran-titre 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 computing, languages, systems, and applications, US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992, proceedings, Robert H. Halstead, Jr., Takayasu Ito, eds, Berlin, Springer-Verlag, 1993, 1 vol. (x, 417 p.), Lecture notes in computer science, 0-387-57396-8 • Parallel Symbolic Computing: Languages, Systems, and Applications, Texte imprimé, 9783662194607 |
| LEADER | 04901nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944442 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155188283 | ||
| 020 | |a 9783540481331 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.2 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Halstead, Robert H., Jr., |d 1953- | |
| 245 | 1 | 0 | |a Parallel symbolic computing : |b languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings |c [edited by] Robert H. Halstead, Takayasu Ito. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 748 |x 1611-3349 | |
| 500 | |a Actes d'un séminaire tenu à Cambridge du 14 au 17 octobre 1992, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Overview of papers from the U.S./Japan workshop on parallel symbolic computing -- Prioritization in parallel symbolic computing -- A priority control system for OR-parallel Prolog and its performance evaluation -- Extending the Multilisp sponsor model to deal with intertask synchronization side effects -- Distillations of dynamic partitioning experience -- A message passing implementation of lazy task creation -- P-continuation based implementation of PaiLisp interpreter -- Running higher-order unification in PaiLisp -- HyperDEBU: A multiwindow debugger for parallel logic programs -- MulTVision: A tool for visualizing parallel program executions -- Managing side effects on shared data -- Design of a concurrent and distributed language -- TS/Scheme: Distributed data structures in Lisp -- A SIMD environment TUPLE for parallel list processing -- Architecture independence and coordination -- Persistent immutable shared abstractions -- Asynchrony and real-time in distributed systems -- Asynchronous communication model based on linear logic -- Parallel inference system research in the Japanese FGCS project -- Massively parallel symbolic computing -- Sparcle: A multithreaded VLSI processor for parallel computing -- A new architecture design paradigm for parallel computing in scheme -- Customizable policy management in the Sting operating system -- An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers (extended abstract) -- Panel discussion I: Massively parallel architectures and symbolic computation -- Panel Discussion II: Applications for parallel symbolic computation. | |
| 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 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 challenges. The papers in this book are based on presentations made at a workshop at MIT in October 1992. They present results in a wide range of areas including: speculative computation, scheduling techniques, program development tools and environments, programming languages and systems, models of concurrency and distribution, parallel computer architecture, and symbolic applications. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Itō, Takayasu, |d 1940- |4 pbd | |
| 776 | 0 | |0 017620473 |t Parallel symbolic computing |o languages, systems, and applications |o US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 |o proceedings |f Robert H. Halstead, Jr., Takayasu Ito, eds |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (x, 417 p.) |s Lecture notes in computer science |z 0-387-57396-8 | |
| 776 | 0 | |t Parallel Symbolic Computing: Languages, Systems, and Applications |b Texte imprimé |z 9783662194607 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0018643 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9CKJDZ0C-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747919593 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0018643 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932120 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0018643 |z Accès INSA CVL | |
| 997 | |0 944442 |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/ | ||