Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols.POMPES PAR TRANSITIONS MULTIPLES

منو

" Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols.POMPES PAR TRANSITIONS MULTIPLES "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	153676
Doc. No	:	ET25468
Main Entry	:	Nikhil Kumar Varma
Title Proper	:	Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols.POMPES PAR TRANSITIONS MULTIPLES
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	Dependable real-time distributed systems rely on allocation and scheduling protocolsto satisfy stringent resource and timing constraints. As these protocols have both depend-ability and real-time attributes, verification of such composite services warrants a rigorousand formal levels of assurance for their correctness..
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL49722.pdf
Title and statement of responsibility and	:	Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols.POMPES PAR TRANSITIONS MULTIPLES [Thesis]