汇编级代码相关硕士博士期刊学术论文 - 搜论网

汇编级代码相关论文

面向多核处理器的低级并行程序验证

随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求，多核并行程序验证的重要性日益凸显．本文提出了一个完整的基于多核的并......

期刊

程序验证多核处理器自旋锁汇编级代码部分正确性 program verification multi-core processor spin lock

面向多核处理器的低级并行程序验证

随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求,多核并行程序验证的重要性日益凸显。本文提出了一个完整的基于多核......

学位

程序验证多核处理器自旋锁汇编级代码部分正确性

看过本文同时还关注