Login / Signup
Implementing and Evaluating a Model Checker for Transactional Memory Systems.
Woongki Baek
Nathan Grasso Bronson
Christos Kozyrakis
Kunle Olukotun
Published in:
ICECCS (2010)
Keyphrases
</>
model checker
formal methods
model checking
image processing
data analysis
formal specification
data mining
case study
high level
data structure
distributed systems
orders of magnitude
efficient implementation
formal verification