Instruction-Level Parallel Program Execution Model 并行程序执行模型
semantic model of program execution 程序执行的语义模型
·2,447,543篇论文数据，部分数据来源于NoteExpress
A memory model describes, given a program and an execution trace of that program, whether the execution trace is a legal execution of the program.
内存模型描述给定程序的某个特定的执行轨迹是否是该程序的一个合法执行。
youdao
应用推荐
模块上移
模块下移
不移动