| 书目名称 | Foundations of Real-Time Computing: Scheduling and Resource Management |
| 编辑 | André M. Tilborg,Gary M. Koob |
| 视频video | |
| 丛书名称 | The Springer International Series in Engineering and Computer Science |
| 图书封面 |  |
| 描述 | This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D.C. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real-time computing systems on a scientific basis. Many of the papers in this book take care to define the notion of real-time system precisely, because it is often easy to misunderstand what is meant by that term. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the very difficult problems of scheduling tasks and resource |
| 出版日期 | Book 1991 |
| 关键词 | C programming language; Scheduling; Turing; algorithms; concurrency; database; database systems; design; for |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4615-3956-8 |
| isbn_softcover | 978-1-4613-6766-6 |
| isbn_ebook | 978-1-4615-3956-8Series ISSN 0893-3405 |
| issn_series | 0893-3405 |
| copyright | Springer Science+Business Media New York 1991 |
发表于 2025-3-21 17:16:13
