咨询与建议

限定检索结果

文献类型

  • 1,533 篇 期刊文献
  • 274 篇 会议
  • 21 件 标准
  • 1 篇 学位论文
  • 1 篇 成果

馆藏范围

  • 1,830 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,642 篇 工学
    • 1,246 篇 计算机科学与技术...
    • 725 篇 软件工程
    • 247 篇 机械工程
    • 228 篇 网络空间安全
    • 127 篇 控制科学与工程
    • 51 篇 仪器科学与技术
    • 45 篇 信息与通信工程
    • 34 篇 电子科学与技术(可...
    • 8 篇 力学(可授工学、理...
    • 7 篇 动力工程及工程热...
    • 6 篇 材料科学与工程(可...
    • 6 篇 地质资源与地质工...
    • 5 篇 测绘科学与技术
    • 5 篇 交通运输工程
    • 5 篇 航空宇航科学与技...
    • 4 篇 建筑学
  • 255 篇 管理学
    • 246 篇 管理科学与工程(可...
    • 7 篇 图书情报与档案管...
  • 132 篇 理学
    • 91 篇 数学
    • 15 篇 系统科学
    • 10 篇 物理学
    • 4 篇 生物学
    • 3 篇 天文学
  • 31 篇 军事学
    • 30 篇 军队指挥学
  • 21 篇 艺术学
    • 21 篇 设计学(可授艺术学...
  • 17 篇 医学
    • 7 篇 临床医学
    • 4 篇 中医学
  • 16 篇 经济学
    • 15 篇 应用经济学
  • 7 篇 哲学
    • 7 篇 哲学
  • 5 篇 教育学
    • 5 篇 教育学
  • 4 篇 文学
  • 4 篇 农学
  • 2 篇 法学
  • 1 篇 历史学

主题

  • 37 篇 云计算
  • 30 篇 计算机图形学
  • 28 篇 人机交互
  • 25 篇 人工智能
  • 23 篇 模型检测
  • 22 篇 网络安全
  • 22 篇 深度学习
  • 20 篇 并行计算
  • 20 篇 虚拟现实
  • 19 篇 计算机
  • 19 篇 petri网
  • 19 篇 gpu
  • 18 篇 分组密码
  • 17 篇 形式化方法
  • 17 篇 软件开发
  • 16 篇 数据挖掘
  • 16 篇 隐私保护
  • 16 篇 面向对象
  • 16 篇 可信计算
  • 16 篇 算法

机构

  • 381 篇 中国科学院软件研...
  • 362 篇 中国科学院大学
  • 191 篇 中国科学院研究生...
  • 145 篇 计算机科学国家重...
  • 143 篇 中国科学院软件研...
  • 138 篇 中国科学院软件研...
  • 130 篇 中国科学院软件研...
  • 107 篇 澳门大学
  • 97 篇 中国科学院软件研...
  • 90 篇 中国科学院软件研...
  • 72 篇 中国科学院软件研...
  • 61 篇 中国科学技术大学
  • 58 篇 北京大学
  • 53 篇 中国科学院计算技...
  • 49 篇 清华大学
  • 47 篇 中国科学院软件研...
  • 40 篇 中国科学院软件研...
  • 38 篇 中国科学院软件研...
  • 38 篇 北京工业大学
  • 37 篇 北京航空航天大学

作者

  • 179 篇 吴恩华
  • 95 篇 张云泉
  • 71 篇 王文成
  • 56 篇 戴国忠
  • 55 篇 冯登国
  • 45 篇 刘学慧
  • 45 篇 魏峻
  • 44 篇 黄涛
  • 35 篇 王宏安
  • 35 篇 张文博
  • 33 篇 王永吉
  • 31 篇 田丰
  • 31 篇 张健
  • 30 篇 张广泉
  • 27 篇 孙家昶
  • 26 篇 吴文玲
  • 26 篇 薛锦云
  • 25 篇 杨超
  • 24 篇 陈彦云
  • 23 篇 王鹏

语言

  • 1,830 篇 中文
检索条件"机构=中国科学院软件所并行计算实验室"
1830 条 记 录,以下是41-50 订阅
排序:
SeChain:基于国密算法的RISC-V安全启动机制设计与实现
收藏 引用
计算机研究与发展 2024年 第6期61卷 1458-1475页
作者: 芮志清 梅瑶 陈振哲 吴敬征 凌祥 罗天悦 武延军 智能软件研究中心(中国科学院软件研究所) 北京100190 中国科学院大学 北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 北京航空航天大学电子信息工程学院 北京100191
开源RISC-V指令集为我国建立自主可控物联网生态提供了重大机遇.然而,物联网设备通常缺乏硬件加固措施,容易遭受物理级的固件篡改攻击,因此保障固件完整性以提高设备安全性至关重要.为此,已有基于安全启动技术的初步探索,但仍存在3个问... 详细信息
来源: 评论
面向递增累积型缺陷的灰盒模糊测试变异优化
收藏 引用
软件学报 2023年 第5期34卷 2286-2299页
作者: 杨克 贺也平 马恒太 董柯 谢异 蔡春芳 中国科学院软件研究所基础软件国家工程研究中心 北京100190 中国科学院大学 北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
大量访问越界、内存耗尽、性能故障等缺陷是输入中有效数据的规模过大,超过临界值引起的.而现有灰盒模糊测试技术中的数据依赖识别和变异优化技术大都针对固定规模输入数据格式,对规模递增输入数据的构造效率不高.为此,针对这类累积型... 详细信息
来源: 评论
基于时序图推理的设备剩余使用寿命预测
收藏 引用
自动化学报 2024年 第1期50卷 76-88页
作者: 刘雨蒙 郑旭 田玲 王宏安 中国科学院软件研究所人机交互北京市重点实验室 北京100190 中国科学院大学 北京100049 中国科学院软件研究所天基综合信息系统重点实验室 北京100190 电子科技大学计算机科学与工程学院 成都611731
剩余使用寿命(Remaining useful life,RUL)预测是大型设备故障预测与健康管理(Prognostics and health management,PHM)的重要环节,对于降低设备维修成本和避免灾难性故障具有重要意义.针对RUL预测,首次提出一种基于多变量分析的时序图... 详细信息
来源: 评论
异常信息敏感的框架API生命周期模型构造
收藏 引用
计算机学报 2024年 第9期47卷 1989-2008页
作者: 燕季薇 黄进豪 杨恒钦 严俊 中国科学院软件研究所软件工程技术研究开发中心 北京100190 北京工业大学信息学部 北京100124 国科大杭州高等研究院 杭州310024 中国科学院软件研究所基础软件与系统重点实验室 北京100190 中国科学院软件研究所计算机科学国家重点实验室 北京100190
大型软件系统的实现依赖于底层框架或第三方库,但这些复杂的框架/库代码在演化升级时往往独立于其调用者,为上层软件的质量保障带来挑战.例如,框架/库代码演化时新增和删除API、更改API的代码语义等行为会导致框架/库代码的不同版本之... 详细信息
来源: 评论
基于多种同构化变换的SLP向量化方法
收藏 引用
计算机研究与发展 2023年 第12期60卷 2907-2927页
作者: 冯竞舸 贺也平 陶秋铭 马恒太 基础软件国家工程研究中心(中国科学院软件研究所) 北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
超字级并行(superword level parallelism,SLP)是一种面向处理器单指令多数据(single instruction multiple data,SIMD)扩展部件实现程序自动向量化的方法,这种方法被广泛应用于主流编译器中.SLP方法有赖于先找到同构指令序列再对之进... 详细信息
来源: 评论
区块链跨链协议IBC形式化分析
收藏 引用
软件学报 2025年
作者: 魏秋阳 赵旭峰 朱雪阳 张文辉 卢奕函 基础软件与系统重点实验室(中国科学院软件研究所) 计算机科学国家重点实验室(中国科学院软件研究所) 国科大杭州高等研究院 中国科学院大学
自从比特币诞生以来,区块链技术在许多领域产生了重大的影响.然而,异构、孤立的区块链系统之间缺乏有效的通信机制,限制了区块链生态的长远发展.因此,跨链技术迅速发展并成为了新的研究热点.由于区块链的去中心化本质和跨链场景的复杂性... 详细信息
来源: 评论
基于网格行创建条带结构的点在多边形内判断方法
收藏 引用
软件学报 2025年
作者: 李佳玮 王盛春 王文成 基础软件与系统重点实验室(中国科学院软件研究所) 计算机科学国家重点实验室(中国科学院软件研究所) 中国科学院大学 中船智海创新研究院
对于点在多边形内的检测处理,近期提出的一种网格法具有很高的计算效率.该方法对于每个网格单元内的多边形片段进行条带结构的组织,使得每个条带中的边均与该条带的左右边界相交.如此,该方法加强了局部化计算,并能方便使用GPU进行并行计... 详细信息
来源: 评论
面向Apache Flink流式分析应用的高吞吐优化技术
收藏 引用
软件学报 2024年
作者: 秦政 许利杰 陈伟 王毅 吴铭钞 曾鸿斌 王伟 中国科学院软件研究所 中国科学院大学 计算机科学国家重点实验室(中国科学院软件研究所) 中国科学院大学南京学院
随着大数据时代的到来,海量的用户数据赋能了众多数据驱动的行业应用,例如智慧交通、智能电网、商品推荐等.在数据实时性要求高的应用场景下,数据中的业务价值随时间增长快速降低,因此数据分析系统需要具有高吞吐和低延迟能力,以Apache ... 详细信息
来源: 评论
软件供应链SBOM关键技术研究
收藏 引用
软件学报 2025年 第6期36卷 2604-2642页
作者: 孙泽雨 吴敬征 凌祥 魏怡琳 罗天悦 武延军 中国科学院软件研究所智能软件研究中心 国科大杭州高等研究院智能科学与技术学院 中国科学院大学 基础软件与系统重点实验室(中国科学院软件研究所) 计算机科学国家重点实验室(中国科学院软件研究所)
供应链级别的开源软件及组件复用是当前软件开发的主流模式.该模式避免了重复开发,降低了研发成本,提高了开发效率,但是也不可避免地存在组件的来源未知,成分不清,漏洞不明,许可证违规等问题.为解决上述问题,研究人员提出了软件物料清单... 详细信息
来源: 评论
操作系统内核权能访问控制的形式验证
收藏 引用
软件学报 2025年 1-17页
作者: 徐家乐 王淑灵 李黎明 詹博华 吕毅 代艺博 崔舍承 吴鹏 谭宇 张学军 詹乃军 基础软件与系统重点实验室(中国科学院软件研究所) 计算机科学国家重点实验室(中国科学院软件研究所) 中国科学院大学 天基综合信息全国重点实验室(中国科学院软件研究所) 华为技术有限公司 北京控制与电子技术研究所 北京大学计算机学院
操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验... 详细信息
来源: 评论