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」 より