中英▼

  • 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

  • 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

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定