BIBLIOTHEQUE ST
Détail de l'auteur
Auteur Nimal Nissanke |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Realtime Systems / Nimal Nissanke
Titre : Realtime Systems Type de document : texte imprimé Auteurs : Nimal Nissanke, Editeur : Angleterre : Prentice Ha Année de publication : 1997 Importance : 441p Présentation : couv.illi.fig.tab.ind Format : 23.5×17cm ISBN/ISSN/EAN : 978-0-13-651274-5 Langues : Anglais (eng) Langues originales : Anglais (eng) Index. décimale : 621 Physique appliquée Résumé : Realtime Systems provides a comprehensive introduction to the essentials of systems, with a revealing examination of the state-of-art. It promotes an integrated approach with emphasis on both rigour and development of practical skills. It focuses on key issues, ranging from mathematical approaches for capturing requirements to important techniques for resource management scheduling, fault tolerance and clock synchronization. The book presents an overview of formal frameworks for realtime systems based on Petri nets and communicating sequential processes. Throughout the text fundamental concepts, design paradigms, algorithms, and techniques are illustrated with extensive examples drawn from a host of practical applications. Realtime Systems [texte imprimé] / Nimal Nissanke, . - Angleterre : Prentice Ha, 1997 . - 441p : couv.illi.fig.tab.ind ; 23.5×17cm.
ISBN : 978-0-13-651274-5
Langues : Anglais (eng) Langues originales : Anglais (eng)
Index. décimale : 621 Physique appliquée Résumé : Realtime Systems provides a comprehensive introduction to the essentials of systems, with a revealing examination of the state-of-art. It promotes an integrated approach with emphasis on both rigour and development of practical skills. It focuses on key issues, ranging from mathematical approaches for capturing requirements to important techniques for resource management scheduling, fault tolerance and clock synchronization. The book presents an overview of formal frameworks for realtime systems based on Petri nets and communicating sequential processes. Throughout the text fundamental concepts, design paradigms, algorithms, and techniques are illustrated with extensive examples drawn from a host of practical applications. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 98/57662 L/621.344 Livre Bibliothèque Science et Technologie indéterminé Exclu du prêt