机构

• 计算技术研究所 [2]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2016 [1]
• 2015 [1]
• 2008 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 一种基于协助下载方法的车联网选车策略 期刊论文  OAI收割 计算机学报, 2016, 卷号: 39.0, 期号: 005, 页码: 919 作者:  刘建航;  毕经平;  葛雨明;  李世宝;  陈海华   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 协助下载  车联网  选车策略  存储转发  延迟容忍网络（DTN）  物联网   延迟存储：一种降低虚拟机退出开销的方法 期刊论文  OAI收割 高技术通讯, 2015, 卷号: 000, 期号: 006, 页码: 593 作者:  吴瑞阳;  台运方   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 系统虚拟化  虚拟态  虚拟机退出  延迟存储   一种基于离散时间自动机的LTL性质检测工具 期刊论文  OAI收割 计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全 收藏  |  浏览/下载：67/2  |  提交时间：2011/06/10 离散时间自动机  非空性检测  线性时序逻辑性质  时间自动机  检测工具  Timed Automata  状态空间爆炸  线性时序逻辑  利用模型  指数增长  压缩存储  性质验证  系统规模  时间空间  检测效果  检测速度  检测过程  检测方法  存储延迟  效率  算法  实验  技术