×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [8]
自动化研究所 [3]
深圳先进技术研究院 [2]
计算技术研究所 [2]
厦门大学 [1]
兰州理工大学 [1]
更多...
内容类型
期刊论文 [13]
其他 [4]
会议论文 [3]
学位论文 [1]
发表日期
2024 [1]
2021 [1]
2020 [1]
2018 [3]
2017 [2]
2016 [3]
更多...
学科主题
mathematic... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共21条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 5, 页码: 1274-1291
作者:
Yifan Dong
;
Naiqi Wu
;
Zhiwu Li
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2024/04/10
Labeled Petri net
multi-valued decision diagram
networked discrete event system
state-based opacity
LOPE: A Low-Overhead Payment Verification Method for Blockchains
期刊论文
CHINESE JOURNAL OF ELECTRONICS, 2021, 卷号: 30, 期号: 2, 页码: 349-358
作者:
Ying Zhang
;
Zhengyuan He
;
Linpeng Jia
;
Donghui Ding
;
Hanwen Zhang
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2021/12/01
Blockchain
Light client
Low‐
overhead
Payment verification
A Comprehensive Review of Path Planning Algorithms for Autonomous Underwater Vehicles
期刊论文
International Journal of Automation and Computing, 2020, 卷号: 17, 期号: 3, 页码: 321-352
作者:
Madhusmita Panda
;
Bikramaditya Das
;
Bidyadhar Subudhi
;
Bibhuti Bhusan Pati
收藏
  |  
浏览/下载:55/0
  |  
提交时间:2021/02/22
Autonomous underwater vehicle (AUV)
cooperative motion
formation control
optimization
path planning (PP).
Toward improving indoor magnetic field-based positioning system using pedestrian motion models
期刊论文
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2018, 卷号: 14, 期号: 9, 页码: 20
作者:
Luo, Haiyong
;
Shao, Wenhua
;
Zhao, Fang
;
Crivello, Antonino
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2019/08/16
Indoor location-based services
pedestrian motion model
magnetic field positioning
attitude detection
indoor positioning
SAR: A Social-Aware Route Recommendation System for IntelligentTransportation
期刊论文
Computer Journal, 2018
作者:
Jiaqi Wang
;
Yunyao Lu
;
Xiaojie Wang
;
Jing Dong
;
Xiping Hu
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2019/01/31
Partitioning and offloading in smart mobile devices for mobile cloud computing: State of the art and future directions
期刊论文
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2018, 卷号: 119, 页码: 83-96
作者:
Gu, Fei
;
Niu, Jianwei
;
Qi, Zhiping
;
Atiquzzaman, Mohammed
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Mobile cloud computing
Partitioning
Offloading
Computation and communication overheads
Energy consumption
Prometheus: Online Estimation of Optimal Memory Demands for Workers in In-memory Distributed Computation
会议论文
Santa Clara, CA, 2017
作者:
Xu, Guoyao
;
Xu, Cheng-Zhong
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2018/02/02
UniWalk: Unidirectional Random Walk Based Scalable SimRank Computation over Large Graph
其他
2017-01-01
Luo, XiongCai
;
Gao, Jun
;
Zhou, Chang
;
Yu, Jeffrey Xu
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/12/03
Samsara Parallel: A Non-BSP Parallel-in-Time Model
期刊论文
ACM SIGPLAN NOTICES, 2016, 卷号: 51, 期号: 8, 页码: 401-402
作者:
Wang, Bei
;
Cui, Xiang
;
Chen, Yifeng
;
Huang, Kun
;
Li, Guohui
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2019/06/20
Bsp
Parallel-in-time
Molecular Dynamics
Samsara Parallel: A Non-BSP Parallel-in-Time Model
其他
2016-01-01
Chen, Yifeng
;
Huang, Kun
;
Wang, Bei
;
Li, Guohui
;
Cui, Xiang
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
BSP
Parallel-in-time
Molecular Dynamics
©版权所有 ©2017 CSpace - Powered by
CSpace