Author:
Armstrong Alasdair,Dongol Brijesh
Publisher
Springer International Publishing
Reference20 articles.
1. Armstrong, A., Dongol, B.: Isabelle files for modularising opacity verification for hybrid transactional memory (2016).
https://figshare.com/articles/Isabelle_files_for_verification_of_a_hybrid_transactional_mutex_lock/4868351
2. Calciu, I., Gottschlich, J., Shpeisman, T., Pokam, G., Herlihy, M.: Invyswell: a hybrid transactional memory for Haswell’s restricted transactional memory. In: PACT, pp. 187–200. ACM, New York (2014)
3. Dalessandro, L., Carouge, F., White, S., Lev, Y., Moir, M., Scott, M.L., Spear, M.F.: Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory. SIGPLAN Not. 46(3), 39–52 (2011)
4. Lecture Notes in Computer Science;L Dalessandro,2010
5. Lecture Notes in Computer Science;J Derrick,2015
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献