Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the conference event and publication of the proceedings record.
Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the conference event and publication of the proceedings record.
The proceedings contain 41 papers. The topics discussed include: large-grain, dynamic control system architectures;multi-paradigm programming in large control systems;use cases for distributedreal-time software archi...
ISBN:
(纸本)0818680962
The proceedings contain 41 papers. The topics discussed include: large-grain, dynamic control system architectures;multi-paradigm programming in large control systems;use cases for distributedreal-time software architectures;toward a scalable design for command and control systems;integrated scheduling of tasks and messages in distributedreal-timesystems;prioritized token-based mutual exclusion for distributedsystems;synchronization for distributedreal-time applications;distributedreal-time problem statement: the air defense system;and comparing two-phase locking and optimistic concurrency control protocols in multiprocessor real-time databases.
The proceedings contain 45 papers. The topics discussed include: use case maps for attributing behavior to system architecture;modeling real-timedistributed software systems;the integration of real-time applications ...
ISBN:
(纸本)0818675152
The proceedings contain 45 papers. The topics discussed include: use case maps for attributing behavior to system architecture;modeling real-timedistributed software systems;the integration of real-time applications into the global command and control system;implementing distributedreal-time control systems in a functional programming language;modeling and simulation in reactive systems;entity-life modeling in a distributed environment;an environment for incremental development of distributed extensible asynchronous real-timesystems;development and validation of network clock measurement techniques;inter- and intra-processor synchronizations in multiprocessor real-time kernel;and behavior analysis of parallel, real-time and embedded sytems for monitoring and optimizing industrial processes.
The proceedings contain 34 papers. The topics discussed include: a study of network routers for real-timeparallel computers;avoiding deadline decay under transient overloads;scheduling tasks in real-timesystems usin...
ISBN:
(纸本)0818670991
The proceedings contain 34 papers. The topics discussed include: a study of network routers for real-timeparallel computers;avoiding deadline decay under transient overloads;scheduling tasks in real-timesystems using evolutionary strategies;timing insensitive binary-to-binary migration across multiprocessor architectures;verification of schedulability of real-timesystems with extended time Petri nets;atomic broadcast: a case study in locative temporal logic;a specification language for parallelreal-timesystems;application stream ordering for mapping real-time applications to a heterogeneous, distributed target platform;and overview of databases requirements for intelligent networks.
暂无评论