搜索结果: 1-2 共查到“计算机工程 Checking”相关记录2条 . 查询时间(0.023 秒)
Tool for checking complex computer architectures reveals flaws in emerging design
Tool checking complex computer architectures flaws
2017/4/27
With backing from some of the largest technology companies, a major project called RISC-V seeks to facilitate open-source design for computer chips, offering the possibility of opening chip designs be...
Checking and Inferring Local Non-Aliasing
Restrict confine types type qualifiers alias analysis effect inference flow-sensitivity
2016/5/24
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope. Among other applicat...