中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

兰州大学 [59]

内容类型

会议论文 [59]

发表日期

学科主题

computer s... [5]

science & ... [3]

computer s... [2]

materials ... [2]

artificial... [1]

automation... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共59条，第1-10条

帮助

限定条件	内容类型：会议论文专题：兰州大学第一署名单位第一作者单位通讯作者单位

已选(0)清除条数/页：排序方式：
	Raman spectroscopy of graphene irradiated with highly charged ions 会议论文 19th International Conference on Surface Modification of Materials by Ion Beams (SMMIB), Chiang Mai, THAILAND, NOV 22-27, 2015 作者: Peng, HB; Sun, ML; Zhang, DF; Yang, D; Chen, H 收藏 \| 浏览/下载：18/0 \| 提交时间：2017/05/11 Graphene Highly charged ion Highly oriented pyrolytic graphite (HOPG) Raman spectroscopy
	SMT-based scheduling for multiprocessor real-time systems 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016 作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/01/18 Real time systems Computational complexity Formal logic Information science Interactive computer systems Multiprocessing systems Problem solving Scheduling Surface mount technology First-order language Multiple processors multiprocessor Real time scheduling Satisfiability modulo Theories Satisfiability problems Scheduling constraints Scheduling methods
	Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016 作者: Zhang, Haitao; Cheng, Zhuo; Tian, Cong; Lu, Yonggang; Li, Guoqiang 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/01/18 Model checking Automobile manufacture Information science Surface mount technology Bounded model checking Comparison result Complex applications Design and implements Deterministic Scheduler Developed applications Optimization strategy Safety property
	SOFL-based dependency graph generation for scheduling 会议论文 11th Systems of Systems Engineering Conference, SoSE 2016, Kongsberg, Norway, June 12, 2016 - June 16, 2016 作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/01/18 Formal specification Computer control Control systems Cruise control Formal methods Scheduling Specifications Systems engineering Dependency graphs Feasible solution Formal engineerings Multi task system Requirement specification SOFL Task dependencies
	Scheduling overload for real-time systems using SMT solver 会议论文 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30, 2016 - June 1, 2016 作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/01/18 Real time systems Artificial intelligence Computation theory Formal logic Interactive computer systems Problem solving Scheduling Software engineering Surface mount technology First-order language overload Overload condition Real time scheduling Satisfiability modulo Theories Satisfiability problems Scheduling methods System performance degradation
	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
	SOFL-based Dependency Graph Generation for Scheduling 会议论文 11th IEEE System of Systems Engineering Conference (SoSE), Kongsberg, NORWAY, JUN 12-16, 2016 作者: Cheng, Z 收藏 \| 浏览/下载：2/0 \| 提交时间：2017/05/11 scheduling task dependency SOFL formal specification cruise control system
	SMT-based Scheduling for Multiprocessor Real-Time Systems 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), Okayama, JAPAN, JUN 26-29, 2016 作者: Cheng, Z; Zhang, HT; Tan, YS; Lim, YT 收藏 \| 浏览/下载：5/0 \| 提交时间：2017/05/11 real-time scheduling SMT multiprocessor
	Scheduling Overload for Real-Time Systems using SMT Solver 会议论文 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), Shanghai, PEOPLES R CHINA, MAY 30-JUN 01, 2016 作者: Cheng, Z; Zhang, HT; Tan, YS; Lim, Y 收藏 \| 浏览/下载：1/0 \| 提交时间：2017/05/11 real-time scheduling SMT overload satisfiability problem
	Verifying OSEK/VDX Applications: An Optimized SMT-based Bounded Model Checking Approach 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), Okayama, JAPAN, JUN 26-29, 2016 作者: Zhang, HT; Cheng, Z; Tian, C; Lu, YG; Li, GQ 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/05/11 OSEK/VDX Application Deterministic Scheduler Bounded Model Checking SMT

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace