Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of parallel programs, in several directions. This treatise further develops the ideas behind UNITY in order to ex...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
908 |
| 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: | • Extensions of the UNITY methodology, compositionality, fairness, and probability in parallelism, Josyula R. Rao, Berlin, Springer-Verlag, 1995, 1 vol. (XI-178 p.), Lecture notes in computer science, 0-387-59173-7 • Extensions of the UNITY Methodology, Texte imprimé, 9783662192580 |
| LEADER | 03462nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944250 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155180517 | ||
| 020 | |a 9783540492191 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 310 | ||
| 082 | |a 005.2 | ||
| 100 | 1 | |a Rao, Josyula Ramachandra, |d 19..- | |
| 245 | 1 | 0 | |a Extensions of the UNITY methodology : |b compositionality, fairness, and probability in parallelism |c Josyula Ramachandra Rao. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 908 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Prologue -- Preliminaries -- An introduction to UNITY -- The role of commutativity in parallel program design -- On the design of proof rules for fair parallel programs -- Reasoning about probabilistic parallel programs -- Eventual determinism: Using probabilistic means to achieve deteministic ends -- Epilogue. | |
| 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 monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of parallel programs, in several directions. This treatise further develops the ideas behind UNITY in order to explore and understand the potential and limitations of this approach: first UNITY is applied to formulate and tackle problems in parallelism such as compositionality; second, the logic and notation of UNITY is generalized in order to increase its range of applicability; finally, paradigms and abstractions useful for the design of probabilistic parallel algorithms are developed. Taken together the results presented reaffirm the promise of UNITY as a versatile medium for treating many problems of parallelism. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Probabilités | ||
| 650 | |a Logiciels |x Essais | ||
| 650 | |a Programmation parallèle (informatique) | ||
| 776 | 0 | |0 023198591 |t Extensions of the UNITY methodology |o compositionality, fairness, and probability in parallelism |f Josyula R. Rao |c Berlin |n Springer-Verlag |d 1995 |p 1 vol. (XI-178 p.) |s Lecture notes in computer science |z 0-387-59173-7 | |
| 776 | 0 | |t Extensions of the UNITY Methodology |b Texte imprimé |z 9783662192580 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-59173-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-C4M0DP7C-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747921458 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-59173-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750933852 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-59173-7 |z Accès INSA CVL | |
| 997 | |0 944250 |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/ | ||