Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata.

Chaitanya Belwal Albert M. K. Cheng

Published in: TrustCom (2011)

Keyphrases

knowledge base
data analysis
timed automata
real time
state space
software engineering
response time
low cost