×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [32]
内容类型
会议论文 [11]
学位论文 [11]
期刊论文 [10]
发表日期
2016 [4]
2014 [3]
2013 [4]
2012 [3]
2011 [1]
2010 [1]
更多...
学科主题
Electrical... [1]
Engineerin... [1]
Engineerin... [1]
固体力学 [1]
计算机软件,计算机软... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共32条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
期刊论文
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 卷号: 19, 期号: 1, 页码: 153-166
Hu, Y
;
Yan, J
;
Choo, KKR
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2016/12/09
Concurrency analysis
Profiling
Dynamic analysis
Bug reproduction
面向无穷数据的形式模型综述
期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690
宋富
;
吴志林
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2016/12/09
无穷数据
自动机
逻辑
非空性
语言包含
可满足性
可判定性
复杂性
An Unlicensed Taxi Identification Model Based on Big Data Analysis
期刊论文
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2016, 卷号: 17, 期号: 6, 页码: 1703-1713
Yuan, W
;
Deng, P
;
Taleb, T
;
Wan, JF
;
Bi, CF
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2016/12/09
Big data
intelligent transportation systems
machine learning
data-driven ITS
unlicensed taxi
一种模型驱动的可视化生成系统
期刊论文
软件学报, 2016, 卷号: 27, 期号: 5, 页码: 1199-1211
杜一
;
郭旦怀
;
陈昕
;
任磊
;
戴国忠
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2016/12/09
可视化系统
用户界面描述语言
模型驱动的开发方法
最终用户编程
PRESC
2
: Efficient self-reconfiguration of cache strategies for elastic caching platforms
期刊论文
Computing, 2014, 卷号: 96, 期号: 5, 页码: 415-451
Qin, Xiulei (1)
;
Wang, Wei (1)
;
Zhang, Wenbo (1)
;
Wei, Jun (1)
;
Zhao, Xin (1)
;
Zhong, Hua (1)
;
Huang, Tao (1)
收藏
  |  
浏览/下载:33/0
  |  
提交时间:2014/12/16
Elastic caching platform
Cache strategy
Machine learning
Self-reconfiguration
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation
会议论文
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014
Castagna, Giuseppe (1)
;
Nguyen, Kim (2)
;
Xu, Zhiwu (1)
;
Im, Hyeonseung (2)
;
Lenglet, Sergueï
;
(4)
;
Padovani, Luca (5)
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/12/16
Types
polymorphism
XML
intersection types
一种数据驱动的流程优化可视分析方法
期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 7, 页码: 5-8,35
杨雷
;
樊银亭
;
董延昊
;
滕东兴
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/12/16
流程优化
性能分析
可视分析
Process optimisation
Performance analysis
Visual analysis
Characterizing and detecting resource leaks in Android applications
会议论文
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Palo Alto, CA, United states, November 11, 2013 - November 15, 2013
Guo, Chaorong (1)
;
Zhang, Jian (1)
;
Yan, Jun (2)
;
Zhang, Zhiqiang (1)
;
Zhang, Yanli (1)
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
Android apps
resource leak
static analysis
Profile directed systematic testing of concurrent programs
会议论文
2013 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, United states, May 18, 2013 - May 19, 2013
Hu, Yan (1)
;
Yan, Jun (2)
;
Zhang, Jian (2)
;
Jiang, He (1)
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
Accurate and efficient cross-domain visual matching leveraging multiple feature representations
会议论文
Sun, Gang (1)
;
Wang, Shuhui (3)
;
Liu, Xuehui (1)
;
Huang, Qingming (2)
;
Chen, Yanyun (1)
;
Wu, Enhua (1)
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2014/12/16
Visual matching
Cross-domain
Multiple features
Hyperplane hashing
©版权所有 ©2017 CSpace - Powered by
CSpace