Specifying and Dynamically Verifying Address Translation-Aware Memory Consistency

ACM SIGARCH Computer Architecture News
doi 10.1145/1735970.1736057
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Specifying and Verifying Systems With Multiple Clocks

English

Specifying and Verifying Partial Order Properties Using Template MSCs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq

2020English

Specifying and Checking File System Crash-Consistency Models

ACM SIGPLAN Notices
Computer Science
2016English

Modelling, Specifying and Verifying Self-Adaptive Systems Instantiating MAPE Patterns

International Journal of Computer Applications in Technology
Electronic EngineeringIndustrialComputer NetworksManufacturing EngineeringCommunicationsComputer Science ApplicationsElectricalInformation SystemsSoftware
2018English

Verifying Consistency and Validity of Formal Specifications by Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

CAnDoR: Consistency Aware Dynamic Data Replication

2019English

Sentiment Aware Neural Machine Translation

2019English

Verifying Self-Consistency of Protein Structure and Dynamics Through MD Simulation and WAXS

Biophysical Journal
Biophysics
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy