Subject
Electrical and Electronic Engineering,General Computer Science,Control and Systems Engineering
Reference25 articles.
1. Miguel JS, Albericio J, Moshovos A, Jerger NE. Doppelgänger: a cache for approximate computing. In: Proceedings of the 48th international symposium on microarchitecture. 2015. p. 50–61.
2. De Giacomo G, Vardi MY. Linear temporal logic and linear dynamic logic on finite traces. In: Twenty-third international joint conference on artificial intelligence. 2013.
3. Lazy caching in TLA;Ladkin;Distrib Comput,1999
4. Sarangi SR, Kalayappan R, Kallurkar P, Goel S, Peter E. Tejas: A java based versatile micro-architectural simulator. In: 2015 25th international workshop on power and timing modeling, optimization and simulation. 2015. p. 47–54.
5. Bingham J. Automatic non-interference lemmas for parameterized model checking. In: 2008 formal methods in computer-aided design. 2008. p. 1–8.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献