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