Foundations of real-time computing : scheduling and resource management
著者
書誌事項
Foundations of real-time computing : scheduling and resource management
(The Kluwer international series in engineering and computer science, SECS 141 . Real-time systems)
Kluwer Academic Publishers, c1991
大学図書館所蔵 全12件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
"Preliminary versions of these papers were presented at a workshop ... sponsored by the Office of Naval Research in October 1990 in Washington, D.C."--Foreword
Includes bibliographical references and index
内容説明・目次
内容説明
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 management in computer systems whose performance is inextricably fused with the achievement of deadlines. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End-use applications of deadline-driven real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications.
目次
1 Fixed Priority Scheduling Theory for Hard Real-Time Systems.- 2 Research in Real-Time Scheduling.- 3 Design and Analysis of Processor Scheduling Policies for Real-Time Systems.- 4 Recent Results in Real-Time Scheduling.- 5 Rate Monotonic Analysis for Real-Time Systems.- 6 Scheduling in Real-Time Transaction Systems.- 7 Concurrency Control in Real-Time Database Systems.- 8 Algorithms for Scheduling Imprecise Computations.- 9 Allocating SMART Cache Segments for Schedulability.- 10 Scheduling Strategies Adopted in Spring: An Overview.- 11 Real-Time, Priority-Ordered, Deadlock Avoidance Algorithms.
「Nielsen BookData」 より