http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
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.
Includes bibliographical references and index.