Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Parallel Programming

Concurrency in Dependable Computing


Huge Savings Item! Save 20% on the Concurrency in Dependable Computing by Ezhilchelvan Paul Romanovsky Alexander at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be


Product Description

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.

Additional Information

Manufacturer:Springer
Brand:Ezhilchelvan Paul Romanovsky Alexander
Publisher:Springer
Studio:Springer
EAN:9781441952783
Item Weight:1.14 pounds
Item Size:0.75 x 9.25 x 9.25 inches
Package Weight:1.15 pounds
Package Size:6 x 0.75 x 0.75 inches

Concurrency in Dependable Computing by Ezhilchelvan Paul Romanovsky Alexander

Buy Now:
Concurrency in Dependable Computing

Brand: Ezhilchelvan Paul Romanovsky Alexander
4.3 out of 5 stars with 10 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$199.00
$160.05
You Save: 20%


Quantity:  

 


View More In Parallel Programming.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Ezhilchelvan Paul Romanovsky Alexander, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9781970001914, isbn: 1970001917,
Parallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is notoriously difficult, and often requires significant expertise. To address this challenge, it is crucial to provide progr...

mpn: colour illustrations, ean: 9780128021224, isbn: 0128021225,
The Smart Grid security ecosystem is complex and multi-disciplinary, and relatively under-researched compared to the traditional information and network security disciplines. While the Smart Grid has provided increased efficiencies in monitoring powe...

ean: 9781596930858, isbn: 1596930853,
Commonly used methods in computational electromagnetics include the Finite Element Method (FEM), the Finite Difference Time Domain (FDTD) method and the Method of Moment (MoM), and they all find applications to the solution of a wide variety of elect...

mpn: figures, ean: 9780198501787, isbn: 0198501781,
Domain decomposition methods are designed to allow the effective numerical solution of partial differential equations on parallel computer architectures. They comprise a relatively new field of study but have already found important applications in m...

ean: 9780198529392, isbn: 0198529392,
Based on the author's extensive development, this is the first text explaining how to use BSPlib, the bulk synchronous parallel library, which is freely available for use in parallel programming. Aimed at graduate students and researchers in mathemat...

ean: 9780805300864, isbn: 0805300864,
Concurrent programming is critical to a variety of applications, including parallel computation, workstation window systems, multi-user database systems, and network file servers. Andrews provides an in-depth overview of underlying principles as well...

ean: 9780691119359, isbn: 069111935X,
What does Google's management of billions of Web pages have in common with analysis of a genome with billions of nucleotides? Both apply methods that coordinate many processors to accomplish a single task. From mining genomes to the World Wide Web, f...

ean: 9780387954011, isbn: 0387954015,
An essential reader containing 19 important papers on the invention and early development of concurrent programming and its relevance to computer science and computer engineering. All of them are written by the pioneers in concurrent programming, inc...

mpn: Illustrations, ean: 9780139011580, isbn: 0139011587,
Rapid changes in the field of parallel processing make this book especially important for professionals who are faced daily with new products—and provides them with the level of understanding they need to evaluate and select the products. It gives ...

ean: 9780805327304, isbn: 0805327304,
This work covers everything necessary to build a competitive, advanced compiler for parallel or high-performance computers. It starts with a review of basic terms and algorithms such as graphs, trees and matrix algebra. Methods focus on analysis and ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.