Proceedings

Front Cover
IEEE Computer Society Press, 1998 - Computers - 989 pages
This volume addresses topics including: real-time systems; distributed system applications; specification and verification; distributed system analysis; verification and analysis; scheduling; real-time data organization; and design."

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Design
4
CyPhone Experimenting Mobile RealTime Telepresence
10
Integration of Task Scheduling and File Services in
18
A Class of RealTime Scheduling Algorithms Based on Processor Sharing
27
BestCase Analysis for Improving the WorstCase Schedulability
35
Scheduling Algorithm for Hard RealTime Communication in Demand Priority Network
45
Using Exact Feasibility Tests for Allocating RealTime Tasks in Multiprocessor Systems
53
Efficiency Evaluation of a TimeTriggered Architecture for Vehicle BodyElectronics
62
Routing and Admission Control of RealTime Channels I 15
115
A Tool for HighLevel Language Analysis of WorstCase Execution Times
130
Facilitating WorstCase Execution Times Analysis for Optimized Code
146
Scheduling II
162
OnLine Schedulers for Pinwheel Tasks using the TimeDriven Approach
180
RealTime Data Organization
196
Transaction Processing in Wireless Distributed RealTime Databases 2 14
214
ToolSupported Hierarchical Design of Distributed RealTime Systems
222

Deterministic Multihop Radio on the Top of 802 11 MAC
71
Guaranteeing RealTime Message Deadlines in PROFIBUS Networks
79
Specification and Verification
88
Hidden Time Model for Specification and Verification of Embedded Systems
98
ETHNOS A RealTime Programming Environment for Robotic Systems
238
Formal Methods in RealTime Systems
254
Copyright

Other editions - View all

Bibliographic information