BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP Paperback - 2024

by VENKATESWARLU CHENNAREDDY

Add to wish list
  • New
  • Paperback
New

Description

Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book talks about the Specification and Verification of Distributed Shared Memory Relaxed Consistency Models specifically Weak Consistency Models. For this, an abstract Distributed Shared Memory (DSM) has been designed and implement
Ask the seller a question Add to wish list
A$28.67
A$15.63 Delivery to USA
Standard delivery: 7 to 12 days
More delivery options
Ships from Ria Christie Collections (Greater London, United Kingdom)

Details

  • Title Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP
  • Author VENKATESWARLU CHENNAREDDY
  • Binding Paperback
  • Condition New
  • Pages 48
  • Volumes 1
  • Language ENG
  • Publisher Independently Published
  • Publication date 2024-02-07
  • Bookseller's Inventory # ria9798878827706_inp
  • ISBN 9798878827706
  • Weight 0.22 lbs (0.10 kg)
  • Dimensions 10 x 7 x 0.1 in (25.40 x 17.78 x 0.25 cm)
  • Category Computers - Data Base Management
  • Quantity available 759

About Ria Christie Collections Greater London, United Kingdom

Biblio member since 2014

Hello We are professional online booksellers. We sell mostly new books and textbooks and we do our best to provide a competitive price. We are based in Greater London, UK. We pride ourselves by providing a good customer service throughout, shipping the items quickly and replying to customer queries promptly. Ria Christie Collections

Terms of Sale:

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Ria Christie Collections

Reader reviews for Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

From the publisher

This book talks about the Specification and Verification of Distributed Shared Memory Relaxed Consistency Models specifically Weak Consistency Models. For this, an abstract Distributed Shared Memory (DSM) has been designed and implemented using CADP (Construction and Analysis of Distributed Processes). In DSM, sequential consistency unnecessarily reduces the performance of the system because it does not allow reordering or pipelining the memory operations. Weak consistency allows the reordering of memory events and buffering or pipelining of memory accesses so weak consistency improves the performance of the DSM system. For any critical system, it is very important to develop methods that increase our confidence in the correctness of such systems. One such method for the correctness of critical systems is formal verification. For verification of the weak consistency model, the properties of weak consistency have been specified and verified on the Abstract DSM System using CADP Toolbox.

tracking-