Real-time systems. Scheduling, analysis and verification

✍ Scribed by Albert M. K. Cheng

Publisher: Wiley-Interscience
Year: 2002
Tongue: English
Leaves: 550
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems: Scheduling, Analysis,

📁 Real-Time Systems: Scheduling, Analysis, and Verification

✍ Albert M. K. Cheng 📂 Library 📅 2002 🏛 Wiley-Interscience 🌐 English

The first book to provide a comprehensive overview of the subject rather than a collection of papers.The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences.A handy reference for practitio

Real-time systems: specification, verifi

📁 Real-time systems: specification, verification, and analysis

✍ Mathai Joseph 📂 Library 📅 1996 🏛 Prentice Hall 🌐 English

This 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 mathema

Real-time Systems Scheduling

📁 Real-time Systems Scheduling

✍ Maryline Chetto 📂 Library 📅 2014 🏛 Wiley-ISTE 🌐 English

<p>Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since responsible of software execution in a timely manner. This book provides state of knowledge in this domain with

Verification and Scheduling Techniques f

📁 Verification and Scheduling Techniques for Real-Time Embedded Systems (Linkoping studies in science and technology)

✍ Luis Alejandro Cortes 📂 Library 🌐 English

Real-Time Systems - Architecture, Schedu

📁 Real-Time Systems - Architecture, Scheduling and Appln.

✍ S. Babamir 📂 Library 📅 2012 🏛 Intech 🌐 English

This book is a rich text for introducing diverse aspects of real-time systems including architecture, specification and verification, scheduling and real world applications. It is useful for advanced graduate students and researchers in a wide range of disciplines impacted by embedded computing and

Scheduling in Real-Time Systems

📁 Scheduling in Real-Time Systems

✍ Francis Cottet JoÃ«lle Delacroix Claude Kaiser Zoubir Mammeri 📂 Library 📅 2002 🏛 Wiley 🌐 English

* Real-time systems are used in a wide range of applications, including command and control systems, flight control, telecommunication systems, and online purchase payment* Provides an accessible yet comprehensive treatment* of real-time computing and communications systems* Outlines the basics of r