×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [51]
内容类型
期刊论文 [27]
会议论文 [13]
学位论文 [11]
发表日期
2016 [4]
2015 [1]
2014 [3]
2013 [3]
2012 [2]
2011 [2]
更多...
学科主题
Computer S... [4]
Computer S... [2]
Artificial... [1]
Computer S... [1]
Electrical... [1]
计算机科学技术基础学... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共51条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
一种大数据分析组件的自动化开发集成方法
期刊论文
计算机应用与软件, 2016, 卷号: 33, 期号: 7, 页码: 33
陈茜
;
吴怀林
;
马志柔
;
刘杰
;
钟华
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2016/12/09
大数据分析
组件
Soot控制流分析
代码生成
An Autonomous Information Collection and Dissemination Model for Large-Scale Urban Road Networks
期刊论文
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2016, 卷号: 17, 期号: 4, 页码: 1085-1095
Zhang, Q
;
Zheng, H
;
Lan, JH
;
An, JW
;
Peng, H
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2016/12/09
Ad hoc
intelligent vehicle systems & telematics
intelligent transportation system (ITS)
traffic information
traffic information systems
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets
期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 10, 页码: 1563-1580
Hu, X
;
Jiao, L
;
Li, ZJ
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2016/12/09
IEEE 802
11
DCF
coloured Petri nets
performance modelling
simulation
Highly Optimized Code Generation for Stencil Codes with Computation Reuse for GPUs
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 6, 页码: 1262-1274
Ma, WJ
;
Gao, K
;
Long, GP
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2016/12/09
GPGPU
OpenCL
stencil
code generation
computation reuse
动态小生境人工鱼群算法的图像分割
期刊论文
智能系统学报, 2015, 卷号: 10, 期号: 5, 页码: 669-674
刘恋
;
常冬霞
;
邓勇
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2016/12/09
人工鱼群算法
图像分割
聚类
动态小生境
进化计算
SRLtoRadl生成系统及其范畴论语义
期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶
;
薛锦云
;
左正康
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2014/12/16
结构化需求语言
形式化软件规约
自动生成系统
高可靠
范畴论语义
structural requirement language
formal software specification
automatic generation system
high reliability
category semantics
基于SSH框架的java代码自动生成
期刊论文
计算机系统应用, 2014, 期号: 9, 页码: 72-77
丁亮
;
许舒人
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
软件复用
SSH框架
代码自动生成
模板
SWT框架
software reusing
SSH framework
code automatic generation
templet
SWT framework
Communication-oriented performance optimisation during code generation from simulink models
期刊论文
International Journal of Embedded Systems, 2014, 卷号: 6, 期号: 2-3, 页码: 124-134
作者:
Yan, Rongjie
;
Yu, Min
;
Huang, Kai
;
Zhang, Xiaomeng
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2014/12/16
具体反例生成与图形化显示系统
期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2014/12/16
时间自动机
模型检测
LTL性质
反例生成
模拟器
timed automata
model checking
LTL properties
counterexample generation
simulator
geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants
期刊论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 卷号: 7788, 页码: 189-228
Kapur Deepak
;
Zhang Zhihai
;
Horbach Matthias
;
Zhao Hengjun
;
Lu Qi
;
Nguyen ThanhVu
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/09/17
Abstracting
©版权所有 ©2017 CSpace - Powered by
CSpace