Real time programming 1994 : IFAC Workshop, Isle of Reichenau, Lake Constance, Germany, 22-24 June, 1994
著者
書誌事項
Real time programming 1994 : IFAC Workshop, Isle of Reichenau, Lake Constance, Germany, 22-24 June, 1994
Pergamon, 1994
1st ed
大学図書館所蔵 全5件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Proceedings of the 19th IFAC/IFIP Worshop on Real Time Programming
Includes bibliographical references and indexes
内容説明・目次
内容説明
In recent years the interest in all aspects of real-time computing has increased significantly. This is not only due to accelerated research efforts undertaken in this area, but also due to an expanding worldwide market for various types of real-time computing systems. This publication brings together state-of-the-art research from around the world, which makes a significant contribution to the current analysis and future development of this key subject. Sections covering distributed systems, scheduling, verification and validation concepts and architecture, operating systems and software development, ensure that all major aspects are fully represented.
目次
- Part 1 Distributed systems: an architecture of a map stack for real-time applications, K. Vijayananda et al
- spatio-temporal constraints in fieldbus - requirements and current solutions, J.-D. Decotignie and P. Raja
- transport protocol for real-time multimedia communication, J.M. Ng and N.T.C. Yu
- an environment for distributed prototyping of real-time systems, A. Alonso et al
- performance prototyping for a real-time system with qualitative parameter tuning methods, M. Miki et al. Part 2 Scheduling: least-space-time-first scheduling algorithm - a policy for complex real-time tasks in multiple processor systems, B.-C. Cheng et al
- a schedulability algorithm for data flow, hard-real-time distributed programs, R. Davoli and L.A. Giachini
- integrated best effort and fixed priority scheduling, N.C. Audsley et al
- some scheduling experiments with ARTIE, R.M. Tol and G. Te Winkel
- multiple-goal objective functions for optimization of task assignment in complex computer systems, T.J. Marlowe et al. Part 3 Verification and validation: two proof methods for the GRAFCET language, P. Le Parc et al
- specification and analysis of timing properties in a case tool CONRAD, T. Kaldma et al
- hybrid systems modelling and validating using statecharts and GRAFCET, R. Boissier et al
- towards recursive block diagrams, P. Caspi
- hierarchichal correctness verification in multiphase real-time software design, T. Szmuc et al. Part 4 Concepts and architectures: conceptual design for an architecture for hard real-time computing, H.-P. Meske
- synchronized UTC for distributed real-time systems, U. Schmid
- data acquisition for real-time process control systems, M.D. Van Der Laan
- task-configuration of a PEARL-based programmable controller for process-automation, G. Thiele et al
- a note on hardware-software codesign, T. Tempelmeier. Part 5 Operating systems: MMOSS - soft real-time operating system support in a multimedia communication subsystem, C. Fan
- BED - a multithreaded kernel for embedded systems, P. Burgess et al
- on realtime operating systems - how to compare performance?, M. Maechtel and H. Rzehak
- an architecture supporting real-time programming and implementations, S. Mostert. Part 6 Software development: mapping PEARL's high-level real-time constructs to a C run-time library under real-time unix, R. Belschner and C.E. Pereira
- visual methods in real-time programming, M.G. Hinchey
- a distributed task-oriented real-time programming system, G. Schrott
- concept for a real-time structured database query language (RT-SQL), P.J. Fortier and J. Prichard
- requirements for a real-time image processing language, P. Laplante et al
- combined sequential and function-oriented programming for real-time systems, H. Schweinzer and C. Mittermayer. (Part Contents).
「Nielsen BookData」 より