Results 331 to 337 of about 539,422 (337)
Some of the next articles are maybe not open access.

A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture

International Conference on Interactive Theorem Proving, 2010
A. Fox, Magnus O. Myreen
semanticscholar   +1 more source

LLVA: a low-level virtual instruction set architecture

Proceedings. 36th Annual IEEE/ACM International Symposium on Microarchitecture, 2003. MICRO-36., 2003
Vikram S. Adve   +4 more
semanticscholar   +1 more source

A universal technique for fast and flexible instruction-set architecture simulation

Proceedings - Design Automation Conference, 2002
A. Nohl   +5 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy