搜索结果: 1-1 共查到“计算机软件 x86-64”相关记录1条 . 查询时间(0.05 秒)
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
ISA specification program synthesis x86-64
2016/5/24
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance,many software analysis and verification tools depend, either explicitly or implic...