|
已选(0)清除
条数/页： 排序方式：
|
| 移动数据库客户端缓存一致性的分析研究 期刊论文
2015, 2015
王潜平; 杨婧; 管廷昭
  收藏 | 浏览/下载：2/0 | 提交时间：2017/06/15
|
| 基于不变量查找的协议验证 学位论文
硕士, 北京: 中国科学院研究生院, 2015
曹燊
收藏 | 浏览/下载：13/0 | 提交时间：2015/06/23
|
| 移动计算环境中基于Agent技术的语义缓存一致性验证方法 期刊论文
《计算机科学》, 2014, 卷号: 41, 页码: 132-136
作者: 梁茹冰[1]; 刘琼[2]
收藏 | 浏览/下载：2/0 | 提交时间：2019/04/25
|
| 移动环境中语义缓存一致性维护的Agent方法 (EI收录) 期刊论文
《北京邮电大学学报》, 2014, 页码: 67-72
作者: 梁茹冰[1]; 刘琼[2]
收藏 | 浏览/下载：2/0 | 提交时间：2019/04/25
|
| PaMC带参模型检测工具及其应用研究 学位论文
硕士, 北京: 中国科学院研究生院, 2013
周琰
收藏 | 浏览/下载：9/0 | 提交时间：2013/07/02
|
| Godson-T缓存一致性协议的Murphi建模和验证 期刊论文
计算机系统应用, 2013, 期号: 10, 页码: 124-128
周琰
收藏 | 浏览/下载：10/0 | 提交时间：2014/12/16
|
| 互相关跟踪算法的多核DSP快速实现 期刊论文
高技术通讯, 2013, 卷号: 23, 页码: 1248-1253
作者: 田立; 周付根; 孟偲; 白相志; 金挺
收藏 | 浏览/下载：4/0 | 提交时间：2020/01/06
|
| 移动P2P网络中协同缓存的研究 期刊论文
2012, 卷号: 48, 期号: 9, 页码: 70-73
作者: 季美丽[1]; 王新华[1,2]
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/04
|
| 基于语义缓存的粒度自适应一致性维护策略 期刊论文
计算机系统应用, 2012, 卷号: 第21卷 第7期
作者: 周红静; 杨金民
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/05
|
| 弹性分布式缓存关键技术研究与系统设计 学位论文
硕士, 北京: 中国科学院研究生院, 2011
罗嵘
收藏 | 浏览/下载：11/0 | 提交时间：2011/06/20
|
