Sign-In
Cart
Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP
Paperback
Publisher: Independently Published
Published: Feb 7 2024
Pages: 48
Weight: 0.22
Height: 0.10 Width: 7.00 Depth: 10.00
Language: English
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.
Also from
Chennareddy, Venkateswarlu
Data Structures in Java: Top 100 Programming Questions and Solutions
Chennareddy, Venkateswarlu
Pamidi, Srinivasulu
Paperback
Also in
Databases
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Riccomini, Chris
Kleppmann, Martin
Paperback
Fundamentals of Data Engineering: Plan and Build Robust Data Systems
Housley, Matt
Reis, Joe
Paperback
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Hardcover
Observability Engineering: Achieving Production Excellence
Majors, Charity
Fong-Jones, Liz
Miranda, George
Paperback
The Data Warehouse Toolkit: The Definitive Guide to Dimensional Modeling
Kimball, Ralph
Ross, Margy
Paperback
Introduction to Statistics: An Intuitive Guide for Analyzing Data and Unlocking Discoveries
Frost, Jim
Paperback
Ai-Assisted Statistics for Data Scientists: 50+ Essential Concepts Using R and Python
Gedeck, Peter
Bruce, Peter
Bruce, Andrew
Paperback
Learning Tableau 2025 - Sixth Edition: Leverage Tableau's newest features to revolutionize your data storytelling with AI-enhanced insights
Milligan, Joshua N.
Paperback
The Data Storyteller's Handbook: How to create business impact using data storytelling
Greenbrook, Kat
Paperback
Database Systems: Introduction to Databases and Data Warehouses, Edition 2.0
Vrbsky, Susan
Sharma, Abhishek
Jukic, Nenad
Paperback
Microsoft Power Bi Data Analyst Associate Study Guide: Prepare for the Pl-300 Exam and Use Power Bi Successfully
Turley, Paul
Paperback
SQL for Data Analysis: Advanced Techniques for Transforming Data Into Insights
Tanimura, Cathy
Paperback
High Performance Spark: Best Practices for Scaling and Optimizing Apache Spark
Warren, Rachel
Karau, Holden
Polak, Adi
Paperback
Data Engineering Design Patterns: Recipes for Solving the Most Common Data Engineering Problems
Konieczny, Bartosz
Paperback
Data Engineering for Cybersecurity: Build Secure Data Pipelines with Free and Open-Source Tools
Bonifield, James
Paperback
Mathletics: How Gamblers, Managers, and Fans Use Mathematics in Sports, Second Edition
Winston, Wayne L.
Nestler, Scott
Pelechrinis, Konstantinos
Paperback
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Paperback
Becoming a Data Head: How to Think, Speak, and Understand Data Science, Statistics, and Machine Learning
Goldmeier, Jordan
Gutman, Alex J.
Paperback
SQL Server 2025 Unveiled: The Ai-Ready Enterprise Database with Microsoft Fabric Integration
Ward, Bob
Paperback
Observability Engineering: Achieving Production Excellence
Fong-Jones, Liz
Miranda, George
Majors, Charity
Paperback
Databricks Certified Data Engineer Associate Study Guide: In-Depth Guidance and Practice
Alhussein, Derar
Paperback
PR Technology, Data and Insights: Igniting a Positive Return on Your Communications Investment
Weiner, Mark
Paperback
Kafka: The Definitive Guide: Real-Time Data and Stream Processing at Scale
Shapira, Gwen
Palino, Todd
Sivaram, Rajini
Paperback
Turning Data into Wisdom: How We Can Collaborate with Data to Change Ourselves, Our Organizations, and Even the World
Hanegan, Kevin
Paperback
Foundations of Deep Reinforcement Learning: Theory and Practice in Python
Graesser, Laura
Keng, Wah Loon
Paperback
Product Operations: How successful companies build better products at scale
Perri, Melissa
Tilles, Denise
Paperback
High Performance Python: Practical Performant Programming for Humans
Gorelick, Micha
Ozsvald, Ian
Paperback
Head First Algorithms and Data Structures: A Learner's Guide to the Foundations of Computing
Freeman, Eric
Robson, Elisabeth
Paperback
ML and Generative AI in the Data Lakehouse: Building and Deploying AI Applications at Scale
Haelen, Bennie
Paperback
Data Contracts: Developing Production-Grade Pipelines at Scale
Schmidt, B. E.
Freeman, Mark
Sanderson, Chad
Paperback
Databricks Data Intelligence Platform: Unlocking the Genai Revolution
Yip, Jason
Gupta, Nikhil
Paperback
Data Analytics Made Easy: Analyze and present data to make informed decisions without writing any code
Mauro, Andrea de
Paperback
SQL Cookbook: Query Solutions and Techniques for All SQL Users
Molinaro, Anthony
Graaf, Robert de
Paperback
Numerical Python: Scientific Computing and Data Science Applications with Numpy, Scipy and Matplotlib
Johansson, Robert
Paperback
Data Analytics & Visualization All-In-One for Dummies
Massaron, Luca
Hyman, Jack A.
McFedries, Paul
Paperback
Hands-On Data Analysis with Pandas: Efficiently perform data collection, wrangling, analysis, and visualization using Python
Molin, Stefanie
Paperback
Kafka for Architects: Event-Driven Architecture, Logs, Microservices, Real-Time Event Processing
Gorshkova, Katya
Paperback
Data Governance with Unity Catalog on Databricks: Implement Data and AI Governance with Databricks Data Intelligence Platform
Sreekumar, Kiran
Subbarao, Karthik
Paperback
Non-Invasive Data Governance: The Path of Least Resistance and Greatest Success
Seiner, Robert
Paperback
Advanced Snowflake: Processing Data, Developing Applications, and Deploying ML Models at Scale
Ullah, Muhammad Fasih
Paperback
Ai-Ready Data Blueprints: From Raw Data to Ai-Driven Innovation
Sopirala, Srikanth
Shukla, Navnit
Pham, Kien
Paperback
The Data Center as a Computer: Designing Warehouse-Scale Machines
Hölzle, Urs
Ranganathan, Parthasarathy
Barroso, Luiz André
Hardcover
Apache Iceberg: The Definitive Guide: Data Lakehouse Functionality, Performance, and Scalability on the Data Lake
Hughes, Jason
Merced, Alex
Shiran, Tomer
Paperback
Learning Statistics with Jamovi: A Tutorial for Beginners in Statistical Analysis
Foxcroft, David
Navarro, Danielle
Paperback
Learning Ransomware Response & Recovery: Stopping Ransomware One Restore at a Time
Saylor, Michael
Preston, W. Curtis
Paperback
Microsoft Power Bi Visual Calculations: Simplifying Dax
Ter Heerdt, Jeroen
Stikkelorum, Madzy
Lelijveld, Marc
Paperback
SQL Server 2025 Query Performance Tuning: Troubleshoot and Optimize Query Performance
Fritchey, Grant
Paperback
Real-Time Intelligence with Microsoft Fabric: Empowering Data-Driven Decisions in the Era of AI
Geisler, Frank
Brattã S. Johan Ludvig
Paperback
iPhone 11 Pro Max Guide: Learn Step-By-Step How To Use Your iPhone Pro Max Step-By-Step
Meyer, Albrecht
Paperback
Fusion Strategy: How Real-Time Data and AI Will Power the Industrial Future
Govindarajan, Vijay
Venkatraman, Venkat
Hardcover
Data Pipelines with Apache Airflow, Second Edition: Orchestration for Data and AI
Geusebroek, Kris
Ruiter, Julian de
Cabral, Ismael
Paperback
Building Data Integration Solutions: Unifying Data for Enhanced Decision Making
Borthen, Jay
Paperback
Apache Hudi: The Definitive Guide: Building Robust, Open, and High-Performing Data Lakehouses
Saktheeswaran, Bhavani Sudha
Xu, Shiyan
Wason, Prashant
Paperback
Everybody Lies: Big Data, New Data, and What the Internet Can Tell Us about Who We Really Are
Stephens-Davidowitz, Seth
Paperback
Diseño de Bases de Datos - Un enfoque práctico: Aprende a diseñar bases de datos desde el modelo conceptual hasta el modelo relacional con esta guía p
Garrido Barrientos, Sergio
Paperback
Data Governance Change Management: From Drift to Direction-Why Every Data Leader Needs an ANCHOR
Agrawal, Aakriti
Agrawal, Arvind
Paperback
Delta Lake: The Definitive Guide: Modern Data Lakehouse Architectures with Data Lakes
Haines, Scott
Lee, Denny
Wentling, Tristen
Paperback
Mastering PostgreSQL 17 - Sixth Edition: Elevate your database skills with advanced deployment, optimization, and security strategies
Schönig, Hans-Jürgen
Paperback
Practical Natural Language Processing: A Comprehensive Guide to Building Real-World Nlp Systems
Majumder, Bodhisattwa
Gupta, Anuj
Vajjala, Sowmya
Paperback
PostgreSQL 16 Administration Cookbook: Solve real-world Database Administration challenges with 180+ practical recipes and best practices
Ciolli, Gianni
Mejías, Boriss
Angelakos, Jimmy
Paperback
Data and Reality: A Timeless Perspective on Perceiving and Managing Information in Our Imprecise World, 3rd Edition
Kent, William
Paperback
Agile Data Warehouse Design: Collaborative Dimensional Modeling, from Whiteboard to Star Schema
Corr, Lawrence
Stagnitto, Jim
Paperback
The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Second Edition
Hastie, Trevor
Tibshirani, Robert
Friedman, Jerome
Hardcover
Unlocking Dbt: Design and Deploy Transformations in Your Cloud Data Warehouse
Dorsey, Dustin
Cyr, Cameron
Paperback
Football Analytics with Python & R: Learning Data Science Through the Lens of Sports
Erickson, Richard a.
Eager, Eric A.
Paperback
How to Interpret Data: Using Data to Improve Your Influence and Decision-Making
Kelly, Nicholas
Paperback
The Data Product Playbook: Designing and Delivering Data Products that Power Decisions, Analytics, and AI
Koenders, Willem
Paperback
Big Data in Der Mobilität: Akteure, Geschäftsmodelle Und Nutzenpotenziale Für Die Welt Von Morgen
Knorre, Susanne
Müller-Peters, Horst
Gatzert, Nadine
Paperback
Analytics Engineering with SQL and Dbt: Building Meaningful Data Models at Scale
Machado, Rui
Russa, Hélder
Paperback
Learn PostgreSQL - Second Edition: Use, manage and build secure and scalable databases with PostgreSQL 16
Ferrari, Luca
Pirozzi, Enrico
Paperback
SQL for Data Analytics - Fourth Edition: Analyze data effectively, uncover insights and master advanced SQL for real-world applications
Goldwasser, Matt
Shan, Jun
Li, Haibin
Paperback
Data Modeling with Microsoft Power BI: Self-Service and Enterprise Data Warehouse with Power BI
Ehrenmueller-Jensen, Markus
Paperback
Architecting an Apache Iceberg Lakehouse: A Scalable, Open-Source Data Platform
Merced, Alex
Paperback
Introduction to Statistics: An Intuitive Guide for Analyzing Data and Unlocking Discoveries
Frost, Jim
Hardcover
Apache Polaris: The Definitive Guide: Enriching Apache Iceberg Data Lakehouses with an Open Source Catalog
Merced, Alex
Shiran, Tomer
Madson, Andrew
Paperback
Natural Language Processing with Pytorch: Build Intelligent Language Applications Using Deep Learning
Rao, Delip
McMahan, Brian
Paperback
The Expert's Guide to SQL Server: Tuning, Security, and Cloud Migration
Andiappan, Petchikumar
Pasam, Venkata Reddy
Paperback
Statistics Every Programmer Needs: Practical Python Implementations and Quantitative Methods
Sutton, Gary
Paperback
Data Science at the Command Line: Obtain, Scrub, Explore, and Model Data with UNIX Power Tools
Janssens, Jeroen
Paperback
Data Center Critical Facilities Migration from Construction to Operations
K. Tidjani, Yekini
Paperback
Stream Processing with Apache Flink: Fundamentals, Implementation, and Operation of Streaming Applications
Hueske, Fabian
Kalavri, Vasiliki
Paperback
A Comprehensive Introduction to Python: From the Basics to Data Analytics: From the Basics to Data Analytics
Masloff, Jackie
Paperback
SAP S/4hana Financial Accounting Certification Guide: Application Associate Exam
Pougkas, Stefanos
Paperback
From Data to Dollars: Getting Started with Data Analytics and AI in Startups
Sidoruk, Piotr
Paperback
Inteligencia Artificial Con Python: Sistemas de aprendizaje, Machine Learning y Deep Learning explicados de forma clara y práctica.
Selles Rodenas, Juan Ignacio
Paperback
SQL in a Week: A Fast-Track Guide to Writing and Optimizing Queries Like a Pro
Shah, Bhumika
Dubey, Devtosh
Paperback
The Elephant in the Fridge: Guided Steps to Data Vault Success through Building Business-Centered Models
Giles, John
Paperback
Data Engineering with Python: Work with massive datasets to design data models and automate data pipelines using Python
Crickard, Paul
Paperback
Mastering PostgreSQL Administration: Internals, Operations, Monitoring, and Oracle Migration Strategies
Samayam, Arun Kumar
Kadambari, Phani
Ravi Kumar, Y. V.
Paperback
Data Modeling for MongoDB: Building Well-Designed and Supportable MongoDB Databases
Hoberman, Steve
Paperback
SQL for Data Scientists: A Beginner's Guide for Building Datasets for Analysis
Teate, Renee M. P.
Paperback