您的位置： 专家智库 > >

陈海波

作品数：261 被引量：133H指数：5
供职机构：上海交通大学更多>>
发文基金：国家自然科学基金国家杰出青年科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电气工程经济管理医药卫生更多>>

合作作者

文献类型

  • 214篇专利
  • 34篇期刊文章
  • 5篇学位论文
  • 4篇科技成果
  • 2篇会议论文

领域

  • 157篇自动化与计算...
  • 4篇电气工程
  • 3篇经济管理
  • 1篇机械工程
  • 1篇交通运输工程
  • 1篇医药卫生
  • 1篇文化科学
  • 1篇理学

主题

  • 63篇内存
  • 40篇虚拟机
  • 30篇硬件
  • 30篇用户
  • 29篇内核
  • 25篇服务器
  • 24篇查询
  • 22篇数据库
  • 22篇RDMA
  • 22篇操作系
  • 22篇操作系统
  • 21篇虚拟化
  • 21篇网络
  • 20篇分布式
  • 16篇并发控制
  • 15篇映射
  • 14篇事务
  • 13篇硬件特性
  • 12篇云计算
  • 12篇日志

机构

  • 231篇上海交通大学
  • 32篇复旦大学
  • 2篇教育部
  • 1篇浙江大学
  • 1篇浙江理工大学
  • 1篇中国科学院
  • 1篇中国科学技术...
  • 1篇中国科学院软...
  • 1篇国网上海市电...
  • 1篇北京市商汤科...

作者

  • 259篇陈海波
  • 151篇臧斌宇
  • 92篇陈榕
  • 58篇夏虞斌
  • 47篇管海兵
  • 16篇董明凯
  • 9篇刘宇涛
  • 9篇杜东
  • 8篇陈榕
  • 6篇梁凉
  • 5篇夏虞斌
  • 5篇宋翔
  • 5篇余倩倩
  • 3篇黄弋简
  • 3篇肖之慰
  • 3篇施继成
  • 2篇刘亚东
  • 2篇张逢喆
  • 2篇李振坤
  • 2篇黄磊

传媒

  • 9篇软件学报
  • 7篇小型微型计算...
  • 2篇计算机研究与...
  • 2篇计算机应用与...
  • 2篇大数据
  • 2篇信息安全学报
  • 1篇上海交通大学...
  • 1篇计算机工程
  • 1篇华东电力
  • 1篇仪表技术与传...
  • 1篇中国教育网络
  • 1篇科学世界
  • 1篇计算机科学与...
  • 1篇集成技术
  • 1篇网络与信息安...
  • 1篇前瞻科技
  • 1篇第十四届全国...

年份

  • 5篇2024
  • 33篇2023
  • 39篇2022
  • 22篇2021
  • 42篇2020
  • 18篇2019
  • 19篇2018
  • 19篇2017
  • 18篇2016
  • 9篇2015
  • 3篇2014
  • 3篇2013
  • 5篇2012
  • 10篇2011
  • 3篇2010
  • 1篇2009
  • 1篇2008
  • 3篇2007
  • 1篇2006
  • 2篇2004
共 261 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
操作系统的动态更新
2007年
提出一种利用系统虚拟化技术在现有操作系统上添加动态更新功能的方法.这种方法在克服动态更新操作系统固有困难的同时摒弃了对安全点的依赖,支持在任意时刻进行动态更新.开发的Lucos原型系统能在极短时间内使用官方发布的内核补丁对Linux操作系统进行动态更新,并且性能测试表明Lucos对性能仅仅造成可以忽略的影响:相比同运行环境下的Xen-Linux只有不到1%的性能损失.
陈榕陈海波张逢喆臧斌宇
关键词：系统虚拟化操作系统可用性
按UIC513国际标准的振动舒适性测试技术
随着人类科技水平和生活水平的提高，对交通工具舒适度的要求也渐渐上升，其中列车振动舒适性是反映列车运行品质的重要指标之一。按以往常规铁路以安全为控制条件，而如今高速铁路已把“舒适”作为设计控制要求。为了量化地评估舒适度指数...
陈海波
关键词：列车振动舒适性测试技术
文献传递
对大规模超图的查询方法及系统
本发明提供了一种对大规模超图的查询方法及系统，包括数据加载步骤：采用分布式的方法加载并划分超图数据，并用键值对形式存储加载到内存中的超图数据；线程启动步骤：启动一个或多个代理线程以及工作线程；解析步骤：代理线程接收来自用...
陈榕张懿雯夏虞斌陈海波臧斌宇
一种抵御基于高速缓存的侧信道攻击的方法
本发明提供了一种抵御基于高速缓存的侧信道攻击的方法，本方法基于软硬件协同设计的动态缓存绑定方式，同时兼顾了飞地进程的安全性和运行时性能。飞地进程可以在运行时主动选择绑定/解绑最后一级缓存中每一个缓存组中的指定数量的缓存行...
江学强杜东夏虞斌陈海波
文献传递
形式化方法与系统软件:实践与发展建议
2023年
对高可靠系统软件需求的不断增加使得形式化方法在工业界引起了广泛的兴趣。文章概述了当前主流形式化方法,分析了国内外研究态势,并介绍了形式化方法在设计和实现操作系统、编译器、同步原语、文件系统、数据库系统和分布式共识协议等方面的实践。基于这些实践,进一步总结了形式化方法在系统软件中应用的经验,并从理论和工程两方面讨论其可能面临的挑战,最后针对这些挑战提出发展建议。
丁浩然王肇国付明陈海波
关键词：形式化方法操作系统数据库
基于RDMA的支持细粒度容错的共识方法及系统
本发明提供了一种基于RDMA的支持细粒度容错的共识方法，从节点在选举主节点阶段会依次执行以下步骤：从节点检查本地保存的所有节点任期；对每一个其他节点，候选节点将自身任期通过RDMA写入该节点的选举相关元数据中；对每一个步...
王肇国金炜臧斌宇陈海波
微内核文件系统可扩展页面缓存系统及方法
本发明提供了一种微内核文件系统可扩展页面缓存系统及方法，包括：模块M1：用于为与文件系统管理者服务器和文件系统服务器隔离在不同地址空间的客户端访问文件时，提供页缓存机制；模块M2：用于在每个文件系统中单独记录所有的页缓存...
袁澍民古金宇臧斌宇陈海波
面向乐观并发控制的多版本支持方法及系统
本发明提供了一种面向乐观并发控制的多版本支持方法及系统，包括：初始时间戳获取步骤；第一时间戳更新步骤；时间戳增加步骤；第一时间戳写回步骤；第二时间戳写回步骤；第二时间戳更新步骤；读取快照步骤；该方法及系统利用乐观并发控制...
陈榕魏星达陈海波臧斌宇
文献传递
面向数字孪生场景的自动化建模方法及系统
本发明提供了一种面向数字孪生场景的自动化建模方法及系统，涉及工业数字化技术领域，包括：步骤S1：对建模目标场景进行实地影像数据收集采样；步骤S2：对所述影像数据进一步分析处理，通过CV程序模板匹配识别处理物体信息并进行文...
吴明瑜姬浩迪王肇国陈海波
机器学习和RDMA加速的键值存储读访问方法及系统
本发明提供了一种机器学习和RDMA加速的键值存储读访问方法及系统，包括：步骤S1：采用机器学习模型来预测服务器端键值存储的位置，令客户端通过远程过程调用获取服务器端的学习完的模型；步骤S2：在客户端处理用户的键值请求时，...
陈榕魏星达陈海波臧斌宇
文献传递
全选 清除 导出
共26页<12345678910>
聚类工具0