Concurrency in Dependable Computing

Name: Concurrency in Dependable Computing
Brand: Springer, Berlin
SKU: 9781441952783
Price: 57749 HUF
Availability: InStock

Szerző: Paul Ezhilchelvan, Alexander Romanovsky

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

57 749 Ft

Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable...

Információk a könyvről

Szerző

Paul Ezhilchelvan, Alexander Romanovsky

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

310

EAN

9781441952783

ISBN

1441952780

Enbook ID

01423589

Kiadó

Springer, Berlin

Súly

467

Méretek

160 x 240 x 23

Teljes leírás

Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work.§Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception handling, view synchrony, etc., are useful in structuring concurrent activities so as to facilitate attempts at coping with the effects of component failures. §Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically.§Application of concurrency formalisms for dependability assurance. Fault-tolerant algorithms are harder to verify than their fault-free counterparts due to the fact that the impact of component faults at each state need to be considered in addition to valid state transitions. CSP, Petri nets, CCS are useful tools to specify and verify fault-tolerant designs and protocols.§Concurrency in Dependable Computing explores many significant issues in all three strands. To this end, it is composed as a collection of papers written by authors well-known in their respective areas of research. To ensure quality, the papers are reviewed by a panel of at least three experts in the relevant area.

É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

Concurrency in Dependable Computing

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