Author:
Velev Miroslav N.,Gao Ping
Publisher
Springer Berlin Heidelberg
Reference49 articles.
1. Lecture Notes in Computer Science;M.D. Aagaard,2002
2. Aagaard, M.D., Cook, B., Day, N.A., Jones, R.B.: A framework for superscalar microprocessor correctness statements. Software Tools for Technology Transfer (STTT) 4(3) (May 2003)
3. Ackermann, W.: Solvable Cases of the Decision Problem. North-Holland, Amsterdam (1954)
4. Lecture Notes in Computer Science;B. Alizadeh,2010
5. Blaauw, D., Das, S.: CPU, Heal Thyself: A Fault-Monitoring Microprocessor Design Can Save Power or Allow Overclocking. IEEE Spectrum (August 2009), http://spectrum.ieee.org/semiconductors/processors/cpu-heal-thyself/0
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献