黄涛

作品数：103被引量：858H指数：15
导出分析报告
供职机构：中国科学院更多>>
发文主题：中间件WEB应用WEB应用服务器分布式虚拟机更多>>
发文领域：自动化与计算机技术机械工程经济管理电子电信更多>>
发文期刊：《清华大学学报（自然科学版）》《南京大学学报（自然科学版）》《中国金融电脑》《中国科学：信息科学》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于TLA+形式化规约的Raft协议测试
《软件学报》2024年第12期5363-5381,共19页王栋 窦文生 高钰 吴陈傲 魏峻 黄涛 
国家自然科学基金(62072444,62302493);国家自然科学基金联合基金(U20A6003)。
Raft是最为流行的分布式共识协议之一.自2014年被提出以来,Raft协议及其变体在各种分布式系统中被广泛应用.为了证明Raft协议的正确性,开发者使用TLA+形式化规约对协议设计进行了建模和验证.但由于抽象的形式化规约与实际的系统实现源...
关键词：RAFT 分布式系统 软件测试 模型检查 
面向大数据处理框架的JVM优化技术综述被引量：7
《软件学报》2023年第1期463-488,共26页汪钇丞 曾鸿斌 许利杰 王伟 魏峻 黄涛 
国家重点研发计划(2017YFB1001804);国家自然科学基金(61802377);中国科学院青年创新促进会。
当前,以Hadoop、Spark为代表的大数据处理框架,已经在学术界和工业界被广泛应用于大规模数据的处理和分析.这些大数据处理框架采用分布式架构,使用Java、Scala等面向对象语言编写,在集群节点上以Java虚拟机(JVM)为运行时环境执行计算任...
关键词：大数据系统 JAVA虚拟机 分布式系统 自动内存管理 
面向大规模集群的柔性配置更新推送方法被引量：1
《中国科学：信息科学》2020年第11期1645-1664,共20页唐震 王伟 黄宇 李艳林 纪树平 宋傲 魏峻 黄涛 
国家重点研发计划(批准号:2017YFB1001804);阿里巴巴创新研究计划(Alibaba Innovative Research,AIR)资助项目。
配置管理是支撑云服务提供商管理大规模容器集群的重要基础设施.这一规模的集群通常包含百万量级的容器实例,如何根据不同业务场景的需求,及时可靠地将配置更新推送至对其感兴趣的容器实例,是亟待解决的关键问题.然而,现有方法仍存在不...
关键词：更新推送 配置管理 完全N叉树 
一种基于录制/重放的Android应用众包测试方法被引量：1
《软件学报》2020年第8期2508-2529,共22页曹羽中 吴国全 陈伟 魏峻 黄涛 王溯 
国家重点研发计划(2017YFA0700603);国家自然科学基金(61472407);北京城市学院科研种子基金(KYZZ201801);北京城市学院2018年度实培计划。
随着Android设备的流行和普及,Android生态系统的碎片化问题越发严重.为了确保应用质量,Android应用需要在多种设备上进行测试.为了应对大量重复机械的测试工作,学术界和工业界提出了众多跨设备的测试方法,但目前的方法还有较多的局限性...
关键词：安卓 众包测试 碎片化 自动化测试 录制 重放 
基于分片复用的多版本容器镜像加载方法被引量：6
《软件学报》2020年第6期1875-1888,共14页陆志刚 徐继伟 黄涛 
国家重点研发计划(2017YFC0804407);国家自然科学基金(61602454,61872344);北京市自然科学基金(4182070)。
容器将应用和支持软件、库文件等封装为镜像,通过发布新版本镜像实现应用升级,导致不同版本之间存在大量相同数据.镜像加载消耗大量时间,使容器启动时间从毫秒级延迟为秒级甚至是分钟级.复用不同版本之间的相同数据,有利于减少容器加载...
关键词：容器 DOCKER 镜像 重复数据删除 
基于测试例生成的Android应用数据竞争验证方法被引量：1
《计算机科学》2017年第11期27-32,共6页佘艺 唐弘胤 吴国全 陈伟 魏峻 黄涛 
科技支撑(2015BAF05B01);国家自然科学基金(61472407)资助
Android应用是一种事件驱动的并发程序。后台线程与异步事件执行顺序的不确定,导致数据竞争在Android应用中普遍存在。现有的针对Android应用的竞争检测工具会产生大量误报,且不能确定地重现竞争。针对以上问题,在现有的竞争检测结果的...
关键词：录制/重放 数据竞争 移动应用 ANDROID 测试 
虚拟化环境下面向多目标优化的自适应SSD缓存系统被引量：6
《软件学报》2017年第8期1982-1998,共17页唐震 吴恒 王伟 魏峻 黄涛 
国家重点研发计划(2016YFB1000103);国家自然科学基金(61572480);中国科学院青年创新促进会(2015088)~~
以SSD(solid state drive)为代表的新型存储介质在虚拟化环境下得到了广泛的应用,通常作为虚拟机读写缓存,起到优化磁盘I/O性能的作用.已有研究往往关注SSD缓存的容量规划,依据缓存读写命中率评价SSD缓存分配效果,未能充分考虑SSD的服...
关键词：固态盘 缓存 虚拟化 动态迁移 
基于捕获/重放的Web应用跨浏览器兼容性检测被引量：2
《计算机研究与发展》2017年第3期623-632,共10页吴国全 何妹妹 魏峻 钟华 黄涛 
国家自然科学基金项目(61472407);国家"九七三"重点基础研究发展计划基金项目(2015CB352201);国家"八六三"高技术研究发展计划基金项目(2013AA041301);国家科技支撑计划基金项目(2015BAH55F02;2015BAF05B01)~~
由于浏览器实现技术的差异以及对标准支持程度的不同,Web应用的跨浏览器不兼容性(cross-browser incompatibilities,XBI)已成为Web应用开发者面临的严重问题.现有的兼容性检测工具仅考虑用户交互事件而忽略了浏览器内部事件,无法保证在...
关键词：跨浏览器兼容性 WEB应用 JAVASCRIPT 捕获/重放 测试 
一种基于遗传算法的虚拟机镜像自适应备份策略被引量：11
《计算机学报》2016年第2期351-363,共13页徐继伟 张文博 王焘 黄涛 
国家科技支撑计划(2015BAH55F02);国家自然科学基金(61402450);北京市自然科学基金(4154088)资助~~
虚拟机镜像备份是保障虚拟化数据中心服务可靠性的关键技术.同时,为了节省存储空间,镜像备份过程往往伴随着数据去冗余操作.然而,镜像备份和数据去冗余都会占用大量系统资源,会对在数据中心托管的应用性能造成严重干扰.如何缩短备份与...
关键词：虚拟机镜像 镜像备份 数据去冗余 遗传算法 组合策略 云计算 
一种基于聚类分组的虚拟机镜像去冗余方法被引量：7
《软件学报》2016年第2期466-480,共15页徐继伟 张文博 魏峻 钟华 黄涛 
国家自然科学基金(61402450);国家科技支撑计划(2013BAH45F01);国家高技术研究发展计划(863)(2013AA0413 01);北京市自然科学基金(4154088)~~
随着云计算的兴起,虚拟化技术使用也越来越广泛,虚拟机正逐步取代物理机,成为应用服务的部署环境.出于灵活性、可靠性等方面的需求,虚拟机镜像急剧增长,如何高效地、经济地管理这些镜像文件已成为一个很有挑战性的研究热点.由于虚拟机...
关键词：云计算 虚拟化 虚拟机镜像 存储 去冗余 
全选清除导出
共11页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部