Distributed computer control systems 1991 : towards distributed real-time systems with predictable timing properties : proceedings of the 10th IFAC workshop, Semmering, Austria, 9-11 September 1991
著者
書誌事項
Distributed computer control systems 1991 : towards distributed real-time systems with predictable timing properties : proceedings of the 10th IFAC workshop, Semmering, Austria, 9-11 September 1991
(IFAC workshop series, 1992,
Published for the International Federation of Automatic Control by Pergamon Press, 1992
1st ed
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and indexes
"10th IFAC Workshop on Distributed Computer Control Systems held at the Semmering, Austria."--[ii] p
内容説明・目次
内容説明
Distributed computer control is at the intersection between control engineering and computer science. Containing 22 papers, this book provides an up-to-date reference source of important issues in the design and implementation of distributed real-time computer systems.
目次
Section headings and selected papers: Time Versus Value. Value inconsistencies due to time uncertainties, R De Lemos et al. A scheduling algorithm for real-time computer systems using time value functions, K Chen & P Muhlethaler. Temporal Properties of Specifications. An architecture for incremental prototyping of distributed real-time systems, J A De La Puente et al. CONRAD - a system for evaluating behavioural properties of embedded software, L Motus & J Vain. Temporal Properties of Implementations. Verification of timing properties in a statecharts-based model of real-time reactive systems, A Sowmya & S Ramesh. Architectures for DCCS. The DRTEE architecture for distributed hard real-time systems, N C Audsley et al. Predictable Communication. Predictable interprocess communication for hard real-time systems, J A Stankovic et al. Map and Field-Bus. Fieldbus architecture for hard real time applications, G Ulloa et al. A mixed media field bus for process control applications, J R Jordan. System Issues. Real time control using a distributed multi-agent structure, J T Herd & N D Duffy. Clock synchronisation on a hard real-time token ring, P Pleinevaux. Designing DCCS. Dataflow-like languages for designing dependable real-time control systems, L Strigini et al. An extensible language for programming and configuring DCCS, I M Macleod & J E Cohen. Author index. Keyword index.
「Nielsen BookData」 より