×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [5]
北京大学 [4]
厦门大学 [2]
上海大学 [2]
沈阳自动化研究所 [2]
西安交通大学 [1]
更多...
内容类型
会议论文 [7]
期刊论文 [5]
其他 [4]
专利 [2]
发表日期
2019 [1]
2016 [4]
2014 [1]
2013 [3]
2012 [1]
2011 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共18条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Memway: In-Memory Waylaying Acceleration for Practical Rowhammer Attacks Against Binaries
期刊论文
TSINGHUA SCIENCE AND TECHNOLOGY, 2019, 卷号: 24, 期号: 5
作者:
Xu, Lai
;
Yu, Rongwei
;
Wang, Lina
;
Liu, Weijie
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/05
Rowhammer bug
Waylaying algorithm
in-memory swapping
page cache eviction
一种面向Modbus协议的模糊测试方法
专利
专利类型: 发明, 专利号: CN105721230A, 申请日期: 2016-06-29, 公开日期: 2017-03-22
作者:
于海斌
;
曾鹏
;
尚文利
;
万明
;
赵剑明
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2016/09/07
一种面向Modbus协议的模糊测试方法
专利
专利类型: 发明授权, 专利号: CN105721230B, 申请日期: 2016-06-29, 公开日期: 2017-03-22
作者:
于海斌
;
曾鹏
;
尚文利
;
万明
;
赵剑明
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2017/03/23
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
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2016/12/09
Concurrency analysis
Profiling
Dynamic analysis
Bug reproduction
Sparse non-negative matrix factorization with generalized kullback-leibler divergence
会议论文
Yangzhou, China, October 12, 2016 - October 14, 2016
作者:
Chen, Jingwei
;
Feng, Yong
;
Liu, Yang
;
Tang, Bing
;
Wu, Wenyuan
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2018/03/16
Cognitive response navigation algorithm for mobile robots using biological antennas
期刊论文
ROBOTICA, 2014, 卷号: 32, 页码: 743-756
作者:
Jiang, Jiliang[1]
;
Tu, Dawei[2]
;
Xu, Shuo[3]
;
Zhao, Qijie[4]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/30
Bug algorithm
Autonomous navigation
Mobile robot
Biological antenna
Cognition
Bionics
Is This a Bug or an Obsolete Test?
其他
2013-01-01
Hao, Dan
;
Lan, Tian
;
Zhang, Hongyu
;
Guo, Chao
;
Zhang, Lu
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2015/11/13
TEST SUITE REDUCTION
LOCALIZATION
CODE
INFORMATION
A linear-time complexity algorithm for solving the dyck-cfl reachability problem on bi-directed trees
会议论文
5th International Conference on Machine Vision: Computer Vision, Image Analysis and Processing, ICMV 2012, Wuhan, China, October 20, 2012 - October 21, 2012
Sun, Xiaoshan (1)
;
Zhang, Yang (2)
;
Cheng, Liang (2)
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2014/12/16
A Hybrid Algorithm Based on Artificial Potential Field and BUG for Path Planning of Mobile Robot
会议论文
PROCEEDINGS OF 2013 2ND INTERNATIONAL CONFERENCE ON MEASUREMENT, INFORMATION AND CONTROL (ICMIC 2013), VOLS 1 & 2, 2013-08-16
作者:
Wang, Mei[1]
;
Su, Zhiyong[2]
;
Tu, Dawei[3]
;
Lu, Xichang[4]
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/04/30
mobile robot
Path planning
APF-B method
language-theoretic abstraction refinement
会议论文
15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24, 2012 - April 1, 2012
Long Zhenyue
;
Calin Georgel
;
Majumdar Rupak
;
Meyer Roland
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/09/22
Algorithms
Verification
©版权所有 ©2017 CSpace - Powered by
CSpace