خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
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]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)