Specifying and Checking File System Crash-Consistency Models

ACM SIGPLAN Notices - United States
doi 10.1145/2954679.2872406
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Specifying and Checking Method Call Sequences of Java Programs

Software Quality Journal
Media TechnologyRiskReliabilitySafetyQualitySoftware
2007English

Specifying and Dynamically Verifying Address Translation-Aware Memory Consistency

ACM SIGARCH Computer Architecture News
2010English

Error Detection Through Consistency Checking

Annals of GIS
EarthPlanetary SciencesComputer Science Applications
2000English

Checking Pedigree Consistency With PCS

English

Communications and Consistency in Mobile File Systems

IEEE Personal Communications
1995English

Formal Consistency Checking Over Specifications in Natural Languages

2015English

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Checking Consistency of Pedigree Information Is NP-complete (Preliminary Report)

BRICS Report Series
2002English

File System Questionnaire

1971English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy