School of Information Science Japan Advanced Institute of Science and Technology (JAIST);
School of Information Science Japan Advanced Institute of Science and Technology (JAIST);
CafeOBJ; invariant property; mutual exclusion; observational transition system (OTS); verification;
机译:存取时间缩短39%,能耗降低11%,32 kbit 1读/ 1写2端口静态随机存取存储器,采用两级读增强和读感应方案后的写升压
机译:MR磁头读/写放大器设计注意事项
机译:具有共享写位线方案和低功耗操作的选择性读取路径的两写入两读取多端口SRAM
机译:考虑非鉴定和写作的面包店协议正式分析
机译:用于通用存储基础架构的读/写协议系列。
机译:读/写机制将p300 Bromodomain功能连接到H2A.Z乙酰化
机译:少量写入多次复制控制协议的多维仲裁集
机译:读/条件写和查询/更新协议的正确性