咨询与建议

限定检索结果

文献类型

  • 81 篇 期刊文献
  • 44 篇 会议

馆藏范围

  • 125 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 111 篇 工学
    • 91 篇 计算机科学与技术...
    • 46 篇 软件工程
    • 8 篇 机械工程
    • 6 篇 网络空间安全
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 电气工程
    • 1 篇 船舶与海洋工程
  • 24 篇 管理学
    • 24 篇 管理科学与工程(可...
  • 15 篇 理学
    • 10 篇 数学
    • 2 篇 系统科学
    • 1 篇 物理学
    • 1 篇 大气科学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 6 篇 并行计算
  • 5 篇 mpi
  • 5 篇 存储层次
  • 5 篇 并行算法
  • 4 篇 高性能计算机
  • 4 篇 计算模型
  • 4 篇 高性能计算
  • 3 篇 多核
  • 3 篇 loggp模型
  • 3 篇 排行榜
  • 3 篇 机群系统
  • 3 篇 性能
  • 3 篇 lapack
  • 3 篇 可视化
  • 3 篇 面向对象
  • 3 篇 优化
  • 3 篇 密码协议
  • 3 篇 top100
  • 3 篇 自动微分
  • 3 篇 性能测试

机构

  • 27 篇 中国科学院软件研...
  • 26 篇 中国科学院研究生...
  • 21 篇 中科院软件所并行...
  • 17 篇 中国科学技术大学
  • 16 篇 中国科学院计算机...
  • 10 篇 安徽省计算与通信...
  • 10 篇 中科院软件所信息...
  • 7 篇 中科院计算机科学...
  • 7 篇 中科院软件所计算...
  • 7 篇 澳门大学
  • 5 篇 中科院数学与系统...
  • 4 篇 北京应用物理与计...
  • 4 篇 中国科学院软件所...
  • 4 篇 中科院计算机科学...
  • 4 篇 中科院计算机网络...
  • 4 篇 上海超级计算中心
  • 4 篇 西北大学
  • 3 篇 中科院软件所计算...
  • 3 篇 中科院软件所人机...
  • 3 篇 中国科学院软件研...

作者

  • 46 篇 张云泉
  • 15 篇 李玉成
  • 10 篇 孙家昶
  • 10 篇 顾乃杰
  • 8 篇 曹建文
  • 8 篇 吴恩华
  • 7 篇 孙相征
  • 7 篇 姚继锋
  • 6 篇 林东岱
  • 6 篇 张林波
  • 6 篇 唐渊
  • 4 篇 陈虎
  • 4 篇 王宣强
  • 4 篇 胡泽林
  • 4 篇 张先轶
  • 4 篇 冯登国
  • 4 篇 刘芳芳
  • 4 篇 袁国兴
  • 4 篇 王婷
  • 4 篇 华庆一

语言

  • 125 篇 中文
检索条件"机构=中科院软件所并行计算与软件实验室"
125 条 记 录,以下是101-110 订阅
排序:
计算模型RAM(h)下的分块矩阵乘:分析与验证
计算模型RAM(h)下的分块矩阵乘:分析与验证
收藏 引用
国际并行算法与计算环境专题讨论会
作者: 张云泉 中科院软件所并行计算实验室(北京) 中科院计算机科学重点实验室(北京)
本文提出了一个基于非一致存储访问开销存储层次的新计算模型RAM(h),并给出了在PIII 1GHz,PIV 1.5Ghz两种计算平台上对在该模型下六种形式分块矩阵乘的分析结果进行的实验验证.实验表明:我们的新模型对六种形式分块矩阵乘的分析结果与在... 详细信息
来源: 评论
计算模型RAM(h)下的分块矩阵乘:分析与验证
计算模型RAM(h)下的分块矩阵乘:分析与验证
收藏 引用
第七届全国并行计算学术交流会
作者: 张云泉 中科院软件所并行计算实验室 北京8718信箱100080 中科院计算机科学重点实验室 北京8718信箱100080
本文提出了一个基于非一致存储访问开销存储层次的新计算模型RAM(h),并给出了在PIII1GHz,PIV1.5Ghz两种计算平台上对在该模型下六种形式分块矩阵乘的分析结果进行的实验验证.
来源: 评论
基于遗传算法和模拟退火算法的布局问题研究
收藏 引用
计算机工程与应用 2003年 第36期39卷 70-72页
作者: 肖美华 王命延 王洪发 彭正文 肖飞 何凌云 南昌大学计算中心 中科院软件所计算机科学重点实验室 北京100080 江西教育学院数计系
文章在介绍遗传算法和模拟退火算法的基本理论及主要特点的基础上,提出了一个基于遗传算法和模拟退火算法的求解布局问题(矩形件排样优化)算法,并通过算例验证了该算法的有效性。
来源: 评论
密码协议的一种基于组合推理的模型验证
收藏 引用
通信学报 2003年 第9期24卷 122-127页
作者: 刘怡文 李伟琴 冯登国 北京航空航天大学计算机科学与工程系 北京100083 中科院软件所信息安全国家重点实验室 北京100080
将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型... 详细信息
来源: 评论
基于颜色量化的人体检测
基于颜色量化的人体检测
收藏 引用
全国第十五届计算机科学与技术应用学术会议
作者: 孙庆杰 中科院软件所计算机科学重点实验室
本文提出一种静态图像中的人体检测方法.将人体看作由9个矩形按照一定的几何和拓扑约束构成的模型.首先利用颜色量化算法将图像分割为不同区域,然后拟合与识别图像中的矩形区域,最后搜索满足该几何和拓扑约束的9个矩形的组合,从而检... 详细信息
来源: 评论
硬件因素对LogP模型参数影响的研究
硬件因素对LogP模型参数影响的研究
收藏 引用
国际并行算法与计算环境专题讨论会
作者: 唐渊 张云泉 李玉成 中国科学院软件研究所并行中心(北京) 中科院计算机科学重点实验室(北京) 中国科学院软件研究所并行中心(北京)
有关并行计算的通讯模型已经有很多了,其中比较著名的,并且又适合于机群系统(PC-Cluster)这种目前比较流行的并行计算环境的主要有:LogP,LogGP.在[参考文献4]做的工作中详细地比较并分析了LogP模型各个参数对实际应用程序的影响.但是... 详细信息
来源: 评论
硬件因素对LogP 模型参数影响的研究
硬件因素对LogP 模型参数影响的研究
收藏 引用
第七届全国并行计算学术交流会
作者: 唐渊 张云泉 李玉成 中国科学院软件研究所并行中心 北京100080 中科院计算机科学重点实验室北京 100080 中国科学院软件研究所并行中心 北京100080
本文在对许多由不同硬件配置的系统的测试过程中,初步比较并分析了这些不同的硬件因素对LogP,LogGP通讯模型各个参数造成的影响.希望能够对配置机群系统时需要考虑的硬件因素提供有用的参考.软件因素的影响分析是我们将来的工作.
来源: 评论
基于面向对象技术的无穷精度数系统的研制与开发
基于面向对象技术的无穷精度数系统的研制与开发
收藏 引用
2003中国计算机大会
作者: 杨宏 林东岱 刘卓军 北京市计算中心(北京) 中科院软件所信息安全国家重点实验室(北京) 中科院数学与系统科学研究院(北京)
无穷精度数系统是任何计算机代数系统的重要的支撑模块,用于实现无穷精度数的表示和运算,其运行效率决定着整个计算机代数系统的性能.本文将介绍一个基于面向对象技术的无穷精度数系统的研制与开发,着重讨论对系统的面向对象的分析与设... 详细信息
来源: 评论
基于理想的协议安全性分析
基于理想的协议安全性分析
收藏 引用
2003中国计算机大会
作者: 孙海波 林东岱 李莉 中科院软件所信息安全国家重点实验室(北京) 武汉大学计算机学院(武汉大学)
1998年Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.文献[1]中第一次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.本文中我们将... 详细信息
来源: 评论
交叉协议安全性分析
交叉协议安全性分析
收藏 引用
2003中国计算机大会
作者: 孙海波 林东岱 李莉 中科院软件所信息安全国家重点实验室(北京) 武汉大学计算机学院(武汉大学)
串空间理论是一种新兴的用于密码协议形式化分析的方法.本文中我们将利用串空间理论对于交叉协议的安全性进行分析,并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性.
来源: 评论