机译:高效的算法,用于检查读写操作的原子性
机译:在移动Ad hoc网络中实现原子读/写共享内存的基于模型的自启动和自检查一致性测试的产生。
机译:用于移动Ad hoc网络中实现原子读/写共享内存的基于Ibwards模型的自启动和自检一致性测试的生成。
机译:使用读-修改-写和原子读/写寄存器的快速互斥算法
机译:使用读写操作的互斥变量的局部旋转算法。
机译:在Co60Fe20B20 / Pb(Mg1 / 3Nb2 / 3)0.7Ti0.3O3异质结构中基于伪磁化的同时写入和读取操作演示
机译:具有非对称读写成本的高效算法