Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata

Chaitanya Belwal, Albert M. K. Cheng. Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata. In IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011. pages 1091-1098, IEEE, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.