Extensions of the UNITY Methodology

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

Compositionality, Fairness and Probability in Parallelism

Szerző: Josyula R. Rao

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 551 Ft

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

Információk a könyvről

Szerző

Josyula R. Rao

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1995

oldal

178

EAN

9783540591733

ISBN

3540591737

Enbook ID

01565940

Kiadó

Springer, Berlin

Súly

267

Méretek

156 x 234 x 10

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Extensions of the UNITY Methodology

Compositionality, Fairness and Probability in Parallelism

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták