Advances in real-time systems / Sang H. Son, editor.
Material type: TextPublication details: Englewood Cliffs, N.J. : Prentice Hall, 1995.Description: xix, 537 p. : ill. ; 24 cm. ; casedISBN:- 0130833487
- 9780130833488
- 9780130833488 :
- 005.2
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Lending | Carlow Campus Library General Lending | 005.2 (Browse shelf(Opens below)) | 1 | Available | 63538 |
Includes bibliographical references and index.
Real-time operating systems. A software overview of HARTS: a distributed real-time system / Kang G. Shin ... et al. -- A Reflective architecture for real-time operating systems / John A. Stankovic and Krithi Ramamritham -- CHAOS [superscript arc]: real-time objects and atomicity for multiprocessors / Ahmed Gheith and Karsten Schwan -- Design and implementation of Maruti-II / Manas Saksena, James da Silva, and Ashok Agrawala -- Real-time communication. A New admission control method for real-time communication in an internetwork / Domenico Ferrari -- Real-time performance of two token ring protocols / Sanjay Kamat and Wei Zhao -- A Systematic approach to designing distributed real-time systems / Lui Sha and Shirish S. Sathaye -- Scheduling and resource management. Scheduling periodic and aperiodic tasks using the slack stealing algorithm / John P. Lehoczky and Sandra Ramos-Thuel -- Efficient methods of validating timing constraints / Jane W.S. Liu and Rhan Ha -- Preemptive priority-based scheduling: an appropriate engineering approach / Alan Burns -- An Optimal priority inheritance policy for synchronization in real-time systems / Ragunathan Rajkumar ... et al. -- Formal methods. The Algebra of communicating shared resources and its toolkit / Insup Lee, Duncan Clarke, and Hong-Liang Xie -- Simulation techniques for proving properties of real-time systems / Nancy Lynch -- Programming language and tools -- Issues on real-time systems programming: language, compiler, and object orientation / Kwei-Jay Lin -- Compiler support for real-time programs / Richard Gerber and Seongsoo Hong -- Reasoning about time in higher-level language software / Alan Shaw -- Fault tolerance and architecture. Action-level fault tolerance / K.H. (Kane) Kim -- Run-time monitoring of real-time systems / Farnam Jahanian -- Real-time databases. An Overview of real-time database systems / Ben Kao and Hector Garcia-Molina -- Real-time databases: issues and applications / Bhaskar Purimetla ... et al. -- Predictability and consistency in real-time database systems / Young-Kuk Kim and Sang H. Son.
25.00