退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:生成石蕊测试对比内存一致性模型
Sela Mador-haim; Rajeev Alur; Milo M. K. Martin;
机译:自动综合综合记忆模型石蕊试验套件
机译:分区一致性:内存一致性较弱并证明其实现正确性的建模系统中的案例研究
机译:关于文章的反思“移动接触线和动态接触角:Yulii D. Shikhmurzaev的数学模型的”Litmus测试“和一些新的挑战”
机译:为不同的记忆一致性模型生成石蕊测试
机译:测试共享内存多处理器的内存一致性。
机译:检索后自我引用否定记忆的失真:价一致性增强了GIST导向的假而非负干扰会产生更多的侵入性更新
机译:从框架草图和Litmus测试中综合存储器模型
机译:一种自动确保设计模型,接口规范以及对该设计模型进行一个或多个测试的一致性的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。