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, 2010A. Fox, Magnus O. Myreen
semanticscholar +1 more source
Formal specification of the x86 instruction set architecture
, 2012Ulan Degenbaev
semanticscholar +1 more source
LLVA: a low-level virtual instruction set architecture
Proceedings. 36th Annual IEEE/ACM International Symposium on Microarchitecture, 2003. MICRO-36., 2003Vikram S. Adve +4 more
semanticscholar +1 more source
A universal technique for fast and flexible instruction-set architecture simulation
Proceedings - Design Automation Conference, 2002A. Nohl +5 more
semanticscholar +1 more source

