another formal proof for deadline driven scheduler

ISCAS OpenIR

	another formal proof for deadline driven scheduler
	Zhan NJ
	2000
会议名称	7th International Conference on Real Time Computing Systems and Applications
页码	481-485
会议日期	DEC 12-14,
会议地点	CHEJU ISL, SOUTH KOREA
收录类别	istp ; ieee
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS
ISBN	0-7695-0930-4
部门归属	UN Univ, Int Inst Software Technol, Comp Sci Lab, Inst Software,Chinese Acad Sci, Beijing 100080, Peoples R China.
摘要	This paper presents another formal proof for the correctness of the Deadline Driven Scheduler (DDS). This proof is different from Zheng and Zhous 1, although both are given in tel-ms of Duration Calculus (DC far short) which provides abstracti
关键词	Duration Calculus Deadline Driven Scheduler Correctness
主办者	Adv Informat Technol Ctr, Korea Informat Sci Soc, Informat Processing Soc Japan, Informat Technol, IEEE Comp Soc Tech Comm Real Time Syst, Electr & Telecommun Res Inst
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13666
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhan NJ. another formal proof for deadline driven scheduler[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS,2000:481-485.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
10.1.1.16.8203.pdf（289KB）			开放获取	--	请求全文