|
|
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
Только что пользователи скачали эти книги:
The Final CrusadeАвтор: Murphy Warren, Автор: Sapir RichardКатегория: Детективная фантастика
Размер книги: 414 Kb
The spectral theory of Toeplitz operatorsАвтор: L. Boutet de Monvel, Автор: Victor Guillemin
Размер книги: 945 Kb
Интенсивная терапия и Сердечно-легочной реанимация МПСАвтор:Категория: 2208513-Библиотека анестезиология
Размер книги: 414 Kb
Fundamentals of Financial Management , Concise Sixth EditionАвтор: Eugene F. Brigham, Автор: Joel F. Houston
Размер книги: 12.67 Mb
Planet o Peter Grimwade & British Broadcasting CorporationАвтор: Grimwade Peter, Автор: British Broadcasting CorporationКатегория: fiction
Размер книги: 263 Kb
|
|
|