×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [15]
内容类型
期刊论文 [9]
学位论文 [5]
会议论文 [1]
发表日期
2016 [1]
2015 [1]
2014 [3]
2013 [1]
2012 [2]
2011 [1]
更多...
学科主题
计算机应用::计算机... [1]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
计算机系统结构::计... [1]
计算机软件::操作系... [1]
计算机软件::程序设... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共15条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
SandroidSat-1卫星姿态确定系统研究
学位论文
硕士, 北京: 中国科学院研究生院, 2016
赵晶晶
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/06/01
纳方星
手机卫星
姿态确定系统
卡尔曼滤波器
扩展卡尔曼滤波器
基于异构多核平台的同步数据流图帕累托优化与调度
期刊论文
计算机科学, 2015, 卷号: 42, 期号: 11, 页码: 43-47
顾玉磊
;
朱雪阳
;
晏荣杰
;
张广泉
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/12/09
同步数据流图
异构多核平台
帕累托优化
调度
模型检测
船舶信息系统的数据分发与存储设计
期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 4, 页码: 19-21,72
王堪美
;
胡晓惠
;
周文亚
;
高骞
收藏
  |  
浏览/下载:110/0
  |  
提交时间:2014/12/16
数据分发服务
非关系型数据库
发布/订阅
船舶信息系统
Data distribution service
NoSQL
Publish/Subscribe
Ship information system
Mobile robots' modular navigation controller using spiking neural networks
期刊论文
Neurocomputing, 2014, 卷号: 134, 页码: 230-238
Wang, Xiuqing (1)
;
Hou, Zeng-Guang (2)
;
Lv, Feng (1)
;
Tan, Min (2)
;
Wang, Yongji (3)
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
Mobile robot
Spiking neural networks
Modular navigation controller
Target-approaching
Obstacle-avoidance
Wall-following
结构化对等网测量方法研究*
期刊论文
软件学报, 2014, 卷号: 25, 期号: 6, 页码: 1301-1315
闫佳
;
应凌云
;
刘海峰
;
苏璞睿
;
冯登国
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
网络测量
P2P
结构化对等网络
Kademlia
KAD网络
network measurement
P2P
structured P2P network
Kademlia
KAD network
基于硬件虚拟化的软件安全沙盒技术研究
学位论文
硕士, 北京: 中国科学院大学, 2013
姜军
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2013/05/22
硬件虚拟化
虚拟云计算
云安全
面向返回编程
沙盒
Xen
基于带赋值符号迁移图的Monte Carlo模型检测
学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2012/06/13
Monte Carlo 模型检测
线性时序逻辑模型检测
带赋值符号迁移图
有导向的随机搜索
启发式算法
efficient retiming of multirate dsp algorithms
期刊论文
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2012, 卷号: 31, 期号: 6, 页码: 831-844
Zhu Xue-Yang
;
Basten Twan
;
Geilen Marc
;
Stuijk Sander
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2012/11/12
a drtm-based method for trusted network connection
会议论文
10th IEEE Int. Conf. on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, 8th IEEE Int. Conf. on Embedded Software and Systems, ICESS 2011, 6th Int. Conf. on Frontier of Computer Science and Technology, FCST 2011, Changsha, China, November 1
Feng Wei
;
Qin Yu
;
Yu Ai-Min
;
Feng Dengguo
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2013/10/08
Access control
Computer privacy
Software agents
Software reliability
optimal task execution times for periodic tasks using nonlinear constrained optimization
期刊论文
Journal of Supercomputing, 2010, 页码: 40562
Min-Allah Nasro
;
Khan Samee Ullah
;
Yongji Wang
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/05/23
Quality of service
Real time systems
Scheduling algorithms
©版权所有 ©2017 CSpace - Powered by
CSpace