Author:
Agesen Ole,Detlefs David,Garthwaite Alex,Knippel Ross,Ramakrishna Y. S.,White Derek
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Hemlock;Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures;2021-07-06
2. Differencing Labeled Transition Systems;Formal Methods and Software Engineering;2011
3. Transactional Memory, 2nd edition;Synthesis Lectures on Computer Architecture;2010-12-22
4. Fair Model Checking with Process Counter Abstraction;FM 2009: Formal Methods;2009
5. Design of the Java HotSpot™ client compiler for Java 6;ACM Transactions on Architecture and Code Optimization;2008-05