|
|
libcats.org
Real-Time SystemsMathai JosephThis text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
A Short History of Medical GeneticsАвтор: Peter S. HarperКатегория: 1808213-Коллекция Книг по Генетике
Размер книги: 11.08 Mb
Concise Guide to Child and Adolescent Psychiatry, Third Edition (Concise Guides)Автор: Mina K. Dulcan, Автор: D. Richard Martini, Автор: Marybeth Lake
Размер книги: 1.80 Mb
Nuclear Chemical Engineering (McGraw-Hill series in nuclear engineering)Автор: Manson Benedict, Автор: Thomas H. Pigford, Автор: Hans Wolfgang Levi
Размер книги: 45.97 Mb
|
|
|