2025年1月20日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
樊沛
作品数:
4
被引量:0
H指数:0
供职机构:
国防科学技术大学
更多>>
发文基金:
国家重点基础研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
沈锐
国防科学技术大学计算机学院
王戟
国防科学技术大学
陈振邦
国防科学技术大学
张圣栋
国防科学技术大学
沈思琪
国防科学技术大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
专利
1篇
期刊文章
1篇
学位论文
领域
3篇
自动化与计算...
主题
2篇
语义
2篇
语义层
2篇
语义层面
2篇
搜索
2篇
自动机
2篇
接口
2篇
服务接口
2篇
长事务
1篇
虚拟计算环境
1篇
志愿计算
1篇
容错
1篇
通信
1篇
通信特征
1篇
通信延迟
1篇
能耗
1篇
谱聚类
1篇
网络
1篇
网络感知
1篇
聚类
1篇
开销
机构
4篇
国防科学技术...
作者
4篇
樊沛
3篇
沈锐
2篇
沈思琪
2篇
张圣栋
2篇
陈振邦
2篇
王戟
传媒
1篇
计算机科学
年份
2篇
2012
1篇
2011
1篇
2010
共
4
条 记 录,以下是 1-4
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
具备长事务特征服务接口的验证方法
本发明公开了一种具备长事务特征服务接口的验证方法,要解决的技术问题是:提出一种针对具备长事务特征服务接口的验证方法来验证服务接口是否满足关键性质,以避免语义层面的验证所面临的状态爆炸问题。技术方案是先使用自动机和函数来定...
王戟
陈振邦
沈锐
张圣栋
沈思琪
樊沛
文献传递
基于网络感知的容错志愿计算
2011年
针对志愿计算系统中节点分布在不同地理位置的特性,分析了传统主-从计算模型在志愿计算系统中的缺陷,提出了基于网络感知的容错志愿计算模型,该模型考虑了节点的网络因素,将节点划分到不同的子集中,基于该模型能够处理由于网络因素造成的故障。另一方面对传统的覆盖容错策略进行了改进并将其应用到容错志愿计算中。实验结果表明,基于网络感知的模型和改进覆盖容错策略能够显著地提高志愿计算系统的可靠性和性能。
樊沛
沈锐
关键词:
志愿计算
网络感知
容错
虚拟计算环境中面向通信特征的应用部署优化技术研究
基于互联网的虚拟计算环境(iVCE:Internet-based Virtual Computing Environ-ment)是一种适应互联网特征的新型网络计算平台。iVCE以互联网资源自主化为基础,以按需聚合和自主协...
樊沛
关键词:
虚拟计算环境
通信延迟
谱聚类
开销
能耗
具备长事务特征服务接口的验证方法
本发明公开了一种具备长事务特征服务接口的验证方法,要解决的技术问题是:提出一种针对具备长事务特征服务接口的验证方法来验证服务接口是否满足关键性质,以避免语义层面的验证所面临的状态爆炸问题。技术方案是先使用自动机和函数来定...
王戟
陈振邦
沈锐
张圣栋
沈思琪
樊沛
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张