Scheduling Overload for Real-Time Systems using SMT Solver

	Scheduling Overload for Real-Time Systems using SMT Solver
	Cheng, Z; Zhang, HT; Tan, YS; Lim, Y
	2016
会议名称	17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
会议日期	MAY 30-JUN 01, 2016
会议地点	Shanghai, PEOPLES R CHINA
关键词	real-time scheduling SMT overload satisfiability problem
页码	189-194
通讯作者	Zhang, HT (reprint author), Lanzhou Univ, Sch Informat Sci & Engn, Lanzhou 730000, Peoples R China.
会议录	2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD)
会议录出版地	NEW YORK
学科主题	Computer Science
语种	英语
WOS记录号	WOS:000390826700033
内容类型	会议论文
源URL	[http://ir.lzu.edu.cn/handle/262010/189695]
专题	信息科学与工程学院_会议论文
推荐引用方式 GB/T 7714	Cheng, Z,Zhang, HT,Tan, YS,et al. Scheduling Overload for Real-Time Systems using SMT Solver[C]. 见: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.