Realtime Systems

Nimal Nissanke

The book supplies a framework for the study of real-time systems, facilitating a higher level of abstraction and a sharper focus on concepts and issues. Invariably this framework relies on mathematics, but the mathematics are explained fully and kept to the minimum.
  • Limba : Engleza
  • Cuprins :
    1. Introduction.
    2. Clocks.
    3. Clocks and Real-Time.
    4. Petri Nets- A Brief Introduction,
    5. Timed Petri Nets.
    6. An Overview of CSP,
    7. An Overview of Tuned CSP.
    8. Software Partioning.
    9. Task Allocation.
    10. Scheduling.
    11. Uniprocessor Scheduling.
    12. Multi-Processor Static Scheduling.
    13. Multi-Processor Dynamic Scheduling.
    14. Fault Tolerence Systems of Clocks
    15. Extended Exercises.
    16. Basic Mathematical Notation.
    17. Schema Language.
  • Data Publicarii : 02 May 1997
  • Editie : 1
  • Format : Paperback
  • Numar pagini : 464
  • ISBN : 9780136512745
Rating:
419.99 Lei
Disponibilitate : 3-5 saptamani

Acest titlu se tipareste la comanda si poate fi livrat in 3-5 saptamani.