Verification of microarchitectural refinements in rule-based systems

Verification of microarchitectural refinements in rule-based systems

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5970511&tag=1

Bibliographic Details
Main Authors: Dave, Nirav H. (Contributor), Katelman, Michael (Author), King, Myron Decker (Contributor), Mithal, Arvind (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers, 2012-09-28T15:08:34Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items