退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:vsync:按钮验证和弱存储器模型上同步基元的优化
Jonas Oberhauser; Rafael Lourenco de Lima Chehab; Diogo Behrens; Ming Fu; Antonio Paolillo; Lilith Oberhauser; Koustubha Bhat; Yuzhong Wen; Haibo Chen; Jaeho Kim; Viktor Vafeiadis;
机译:关于弱内存模型的验证问题
机译:具有通道同步的弱内存模型的操作语义
机译:针对弱内存模型的共享内存一致性协议验证:通过模型检查进行细化
机译:按钮系统软件的按钮验证
机译:用于验证振动声耦合模型的数据集并在两个密封橡胶模型的截面几何形状上优化结果
机译:使用用于存储器编译器的结构原始验证来进行存储器建模的各种方法和装置
机译:使用结构编译器验证的编译器的各种方法和装置
机译:自动验证和综合弱存储模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。