×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
华南理工大学 [15]
软件研究所 [9]
西安交通大学 [6]
遥感与数字地球研究所 [6]
上海电子信息职业技术... [3]
清华大学 [2]
更多...
内容类型
会议论文 [66]
发表日期
2019 [1]
2016 [1]
2013 [2]
2012 [5]
2011 [3]
2010 [7]
更多...
学科主题
automobile... [1]
informatio... [1]
天文技术与方法::自... [1]
摄影测量与遥感 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共66条,第1-10条
帮助
限定条件
内容类型:会议论文
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
How are students' programming skills developed: An empirical study in an object-oriented course
会议论文
2019 ACM Turing Celebration Conference - China, ACM TURC 2019, Chengdu, China, 2019-05-17
作者:
Sun, Qing
;
Wu, Ji
;
Liu, Kaiqi
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
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
Towards Runtime Adaptation in Context-Oriented Programming
会议论文
作者:
Han, Bo
;
Zhao, Yinliang
;
Zhu, Changpeng
;
Zeng, Qinghua
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/03
Delegation
Object Composition
Context-Oriented Programming
Parallel Simulation of Large-Scale Universal Particle Systems Using CUDA
会议论文
2013 IEEE 11TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING (DASC), 2013-01-01
作者:
Li, Xiangfei[1]
;
Wang, Xuzhi[2]
;
Wan, Wanggen[3]
;
Zhu, Xiaoqiang[4]
;
Yu, Xiaoqing[5]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/30
particle systems
integration algorithm
CUDA
scalable and portable API
object-oriented programming methods
Optics Derotator Servo Control System for SONG Telescope
会议论文
Amsterdam, Netherlands, 2012-7-1
Jin Xu
;
Changzhi Ren
;
Yu Ye
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2014/01/11
Astronomical Telescope
SONG
Servo Control System
Linux Qt
Towards Type-safe and Context-based Behavior Adaptation
会议论文
作者:
Zhao, Yinliang
;
Zhu, Changpeng
;
Han, Bo
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/10
Type System
Object Composition
Consultation
Context-Oriented Programming
Runtime support for type-safe and context-based behavior adaptation
会议论文
作者:
Zhao, Yinliang
;
Zhu, Changpeng
;
Han, Bo
;
Zeng, Qinghua
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/10
Context oriented programming
Delegation
Featherweight Java
Object composition
Type systems
Development of Configuration Software Interface for Engineering Vehicle Supervisory Control and Management
会议论文
4th International Conference on Measuring Technology and Mechatronics Automation (ICMTMA 2012), Sanya, PEOPLES R CHINA, 2012-01-01
作者:
Yuan Haibin
;
Xiang Huifeng
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2020/01/06
Control
embedded system
graphical interface
object-oriented programming
An optimization method based on XML query algebra
会议论文
作者:
Zhang, Qiuyu
;
Wang, Min
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2020/11/15
Efficiency
Indexing (materials working)
Object oriented programming
Semantics
Software engineering
XML
Pat algebras
Query optimization
Semantic translations
Structural indices
XML algebras
design and implementation of a graphical programming tool for children
会议论文
2011 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2011, Shanghai, China, 10-Jun-02
Xiajian Chen
;
Danli Wang
;
Hongan Wang
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/10/10
Computer graphics
Computer programming languages
Computer science
©版权所有 ©2017 CSpace - Powered by
CSpace