Verification of microarchitectural refinements in rule-based systems

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

Detalhes bibliográficos
Principais autores:	Dave, Nirav H., Katelman, Michael, King, Myron Decker, Mithal, Arvind
Outros Autores:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Formato:	Artigo
Idioma:	en_US
Publicado em:	Institute of Electrical and Electronics Engineers 2012
Acesso em linha:	http://hdl.handle.net/1721.1/73470 https://orcid.org/0000-0002-9737-2366 https://orcid.org/0000-0003-2075-4654

Internet