×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [19]
华南理工大学 [15]
兰州大学 [6]
清华大学 [2]
兰州理工大学 [2]
遥感与数字地球研究所 [2]
更多...
内容类型
会议论文 [54]
发表日期
2018 [2]
2016 [1]
2014 [3]
2013 [4]
2012 [2]
2011 [5]
更多...
学科主题
Applicatio... [1]
Computer S... [1]
automobile... [1]
biological... [1]
biological... [1]
computer p... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共54条,第1-10条
帮助
限定条件
内容类型:会议论文
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
An overview of smart contract: Architecture, applications, and future trends
会议论文
Changshu, China, Jun. 26-29, 2018.
作者:
Shuai Wang
;
Yong Yuan
;
Xiao Wang
;
Juanjuan Li
;
Rui Qin
收藏
  |  
浏览/下载:44/0
  |  
提交时间:2018/10/10
Exploiting Dynamic Thermal Energy Harvesting for Reusing in smartphone with mobile applications
会议论文
Williamsburg, VA, United states, March 24, 2018 - March 28, 2018
作者:
Dai, Yuting
;
Li, Tao
;
Liu, Benyong
;
Song, Mingcong
;
Chen, Huixiang
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/31
A case study: SOFL + Model checking for OSEK/VDX application
会议论文
5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, November 6, 2015 - November 6, 2015
作者:
Cheng, Zhuo
;
Zhang, Haitao
;
Tan, Yasuo
;
Lim, Yuto
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2017/01/18
Formal specification
Automobiles
Computational linguistics
Computer control
Formal languages
Formal methods
Model checking
Specifications
Automotive applications
Development process
Feasible solution
Formal engineerings
High quality
Requirement specification
ASCOM based research on the universal control protocol of telescope
会议论文
Proceedings of SPIE: 7th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Design Manufacturing, and Testing of Micro- and Nano-Optical Devices, and Systems, 2014
作者:
Wu, Peng
;
Luo, Chuanxin
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2016/11/23
Control software design of plant microscopic ion flow detection motion device
会议论文
7th IFIP WG 5.14 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2013, Beijing, China, September 18, 2013 - September 20, 2013
作者:
He, Lulu
;
Jiang, Fubin
;
Zhu, Dazhou
;
Hou, Peichen
;
Yang, Baozhu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2017/01/18
Computer control
Agriculture
Computer graphics
Computer programming languages
Computer software
Electrodes
Glass
Histology
Ions
Microelectrodes
Motion analysis
Software design
Software testing
Tissue
Accurate positioning
Control software design
Graphical programming software
Ion flow
LabViEW
Microscopic dynamics
Software control
Three dimensional space
Control software design of plant microscopic ion flow detection motion device
会议论文
7th IFIP WG 5.14 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2013, Beijing, China, September 18, 2013 - September 20, 2013
作者:
He, Lulu
;
Jiang, Fubin
;
Zhu, Dazhou
;
Hou, Peichen
;
Yang, Baozhu
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2017/01/18
Computer control
Agriculture
Computer graphics
Computer programming languages
Computer software
Electrodes
Glass
Histology
Ions
Microelectrodes
Software design
Software testing
Tissue
Accurate positioning
Control software design
Graphical programming software
Ion flow
LabViEW
Reciprocating motion
Software control
Three dimensional space
A Heterogeneous CPU-GPU Implementation for Discrete Elements Simulation with Multiple GPUs
会议论文
作者:
Tian, Yuan
;
Qi, Ji
;
Lai, Junjie
;
Zhou, Qingguo
;
Yang, Lei
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2018/08/20
heterogeneous
DEM
GPU
multi-GPU
MPI
a peta-scalable cpu-gpu algorithm for global atmospheric simulations
会议论文
18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China, February 23, 2013 - February 27, 2013
Yang Chao
;
Xue Wei
;
Fu Haohuan
;
Gan Lin
;
Li Linfeng
;
Xu Yangtong
;
Lu Yutong
;
Sun Jiachang
;
Yang Guangwen
;
Zheng Weimin
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2013/09/22
Communication
Computer architecture
Computer programming languages
Hybrid systems
Mathematical models
Multitasking
Parallel algorithms
Parallel programming
Program processors
Scalability
An automatic control and measurement system of compressor experimental operation platform
会议论文
2013 2nd International Conference on Measurement, Instrumentation and Automation, ICMIA 2013, Guilin, China, April 23-24, 2013
作者:
Liu ZF(刘志峰)
;
Lv Y(吕岩)
;
Ma JK(马继开)
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2013/10/04
Automation
Computer programming languages
Digital instruments
Measurements
Process control
©版权所有 ©2017 CSpace - Powered by
CSpace