您的位置: 专家智库 > >

樊沛

作品数:4 被引量:0H指数: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