Results 181 to 187 of about 14,769 (187)
Some of the next articles are maybe not open access.

Modular Verification of DNA Strand Displacement Networks via Serializability Analysis

DNA, 2013
Matthew R. Lakin   +2 more
semanticscholar   +1 more source

Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs

Runtime Verification, 2011
Nick Sumner   +2 more
semanticscholar   +1 more source

Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search

Haifa Verification Conference, 2011
Arnab Sinha   +3 more
semanticscholar   +1 more source

Serializability

2017
openaire   +1 more source

One-Copy-Serializability

2009
openaire   +2 more sources

Serializable Snapshot Isolation

2016
openaire   +1 more source

Multiversion Serializability and Concurrency Control

2016
openaire   +1 more source
computer science
serialization
programming language
operating system
artificial intelligence
database
mathematics
distributed computing
engineering
previous   17  18  19  

Home - About - Disclaimer - Privacy