Parameterized verification of transactional memories.

Michael Emmi Rupak Majumdar Roman Manevich

Published in: PLDI (2010)

Keyphrases

face verification
model checking
transaction processing
concurrent systems
fault tolerant
person identification
digital libraries
artificial neural networks
distributed systems
video sequences
database systems
associative memory
web services
e learning
formal methods
asynchronous circuits
neural network