国家重点基础研究发展计划(2011CB302602)

作品数：6被引量：49H指数：2
导出分析报告
相关作者：沃天宇怀进鹏胡春明康俊彬钟亮更多>>
相关机构：北京航空航天大学更多>>
相关期刊：《计算机研究与发展》《Science China(Information Sciences)》《计算机学报》《小型微型计算机系统》更多>>
相关主题：软件即服务虚拟机监控器虚拟机基于内存虚拟网络更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种保持结点紧凑的虚拟网络映射方法被引量：13
《计算机学报》2012年第12期2492-2504,共13页刘新刚 怀进鹏 高庆一 沃天宇 
国家"九七三"重点基础研究发展规划项目基金(2011CB302602);国家自然科学基金(91118008;90818028);国家"八六三"高技术研究发展计划项目基金(2011AA01A202)资助~~
虚拟网络映射是网络虚拟化中最基本的问题之一.虚拟网络映射可分解成结点映射和链路映射两个阶段,之前的研究更加侧重于链路映射,对结点映射只采取简单的方式进行,不利于资源利用率的提高.之前的结点映射方法有两个主要问题:(1)优先占...
关键词：虚拟网络 虚拟网络映射 紧凑 优化 
正确性保证的组合服务综合问题复杂度研究被引量：1
《中国科学：信息科学》2012年第7期789-802,共14页邓婷 怀进鹏 沃天宇 
国家重点基础研究发展规划(批准号:2011CB302602)资助项目
Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性(如以时态逻辑LTL,CTL,CTL*等公式规范的时态性质).现有研究工作大多延用传统软件开发中的设计、验证、分析和纠错的过程,这使得组合过程既复杂...
关键词：业务协议 WEB服务 组合服务 综合 环境 时态逻辑 
Complexity of synthesis of composite service with correctness guarantee
《Science China(Information Sciences)》2012年第3期638-649,共12页DENG Ting HUAI JinPeng WO TianYu 
supported by National Basic Research Program of China (Grant No. 2011CB302602);National Nature Science Foundation of China (Grant No. 61103031);Project of NLSDE (Grant Nos. SKLSDE-2010-ZX-01, SKLSDE-2010ZX-03)
How to compose existing web services automatically and to guarantee the correctness of the design （e.g. temporal constraints specified by temporal logic LTL, CTL or CTL＊） is an important and challenging problem in ...
关键词：business protocol composite service SYNTHESIS ENVIRONMENT branching temporal logic 
基于内存混合复制方式的虚拟机在线迁移机制被引量：33
《计算机学报》2011年第12期2278-2291,共14页陈阳 怀进鹏 胡春明 
国家"八六三"高技术研究发展计划项目基金(2011AA010500);国家"九七三"重点基础研究发展规划项目基金(2011CB302602);国家杰出青年基金项目(90818028;91018004)资助~~
虚拟机VM(Virtual Machine)在线迁移技术(Live Migration)充分利用虚拟化技术的灵活性和封装性,有利于实现大规模虚拟化环境中负载的动态调整以及应用的灵活部署.已有的在线迁移机制存在内存迭代收敛、迁移数据冗余以及客户操作系统不...
关键词：虚拟机 虚拟机监控器 在线迁移 按需复制 预取页 
一种面向虚拟化软件的流式加载虚拟文件系统被引量：2
《小型微型计算机系统》2011年第11期2182-2186,共5页崔亚兵 钟亮 康俊彬 沃天宇 
国家"九七三"重点基础研究发展计划项目(2011CB302602)资助;国家自然科学基金项目(91018004)资助;软件开发环境国家重点实验室项目(SKLSDE-2010-ZX-01)资助
近年来,随着云计算和虚拟化技术的普及和发展,软件的网络化、服务化使用成为一种新的趋势.在此背景下,虚拟化的软件能否快速加载与流畅运行成为软件能否高质量服务化运营的瓶颈问题.本文基于Windows NT平台设计实现了一种专门支持虚拟...
关键词：虚拟化 软件虚拟化 软件即服务 流式加载 
支持软件按需流式加载的预取机制被引量：2
《计算机研究与发展》2011年第7期1178-1189,共12页钟亮 胡春明 沃天宇 李建欣 康俊彬 
国家"九七三"重点基础研究计划基金项目(2011CB302602);国家自然科学基金项目(60703056)
近年来,随着SaaS技术的发展,软件的网络化、服务化访问成为一种新的使用模式.软件的按需动态部署是实现上述模式的重要基础.为了支持软件的按需动态部署,需要能够在执行环境支持软件的流式加载运行.而在软件按需流式加载的执行过程中,...
关键词：软件即服务 流式加载 预取 日志挖掘 虚拟计算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部