An Abort-Aware Model of Transactional Programming.

Kousha Etessami Patrice Godefroid

Published in: VMCAI (2009)

Keyphrases

mathematical model
theoretical analysis
experimental data
data structure
computational model
databases
neural network
decision trees
response time
programming language
transaction model