Extensions of the UNITY Methodology

Name: Extensions of the UNITY Methodology
Brand: Springer, Berlin
SKU: 9783540591733
Price: 276.78 RON
Availability: InStock

Compositionality, Fairness and Probability in Parallelism

Autor: Josyula R. Rao

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.78 lei

This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Man...

Informații despre carte

Autor

Josyula R. Rao

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1995

Pagini

178

EAN

9783540591733

ISBN

3540591737

Enbook ID

01565940

Editura

Springer, Berlin

Greutate

267

Dimensiuni

156 x 234 x 10

Descriere completă

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 increaseits 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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Extensions of the UNITY Methodology

Compositionality, Fairness and Probability in Parallelism

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și