| 書目名稱 | Foundations of Real-Time Computing: Scheduling and Resource Management |
| 編輯 | André M. Tilborg,Gary M. Koob |
| 視頻video | http://file.papertrans.cn/348/347112/347112.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 06:30
發(fā)表于 2025-3-21 17:16:13
