Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols

Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : OCLC:1032997410
ISBN-13 :
Rating : 4/5 ( Downloads)
GET BOOK
Book Synopsis Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols by : Nikhil Kumar Varma

Download or read book Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols written by Nikhil Kumar Varma and published by . This book was released on 2004 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:


Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols Related Books

Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols
Language: en
Pages:

Formal Analysis of Fault Tolerant Real Time Multiprocessor Allocation and Scheduling Protocols

Authors: Nikhil Kumar Varma
Categories:
Type: BOOK - Published: 2004 - Publisher:

GET EBOOK

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Language: en
Pages: 405

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Authors: Yassine Lakhnech
Categories: Computers
Type: BOOK - Published: 2004-09-20 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Te
A Fault Tolerance Distributed Real-Time System. Design and Implementation
Language: en
Pages: 125

A Fault Tolerance Distributed Real-Time System. Design and Implementation

Authors: Amira Sallow
Categories: Computers
Type: BOOK - Published: 2014-03-11 - Publisher: GRIN Verlag

GET EBOOK

Doctoral Thesis / Dissertation from the year 2013 in the subject Computer Science - General, grade: 90, University of Mosul (College of Computer Sciences And Ma
Formal Techniques in Real-time and Fault-tolerant Systems
Language: en
Pages: 640

Formal Techniques in Real-time and Fault-tolerant Systems

Authors:
Categories: Fault-tolerant computing
Type: BOOK - Published: 1991 - Publisher:

GET EBOOK

Multiprocessor Scheduling for Real-Time Systems
Language: en
Pages: 234

Multiprocessor Scheduling for Real-Time Systems

Authors: Sanjoy Baruah
Categories: Technology & Engineering
Type: BOOK - Published: 2015-01-02 - Publisher: Springer

GET EBOOK

This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard