Sciweavers

2625 search results - page 390 / 525
» Applications 2000
Sort
View
DSN
2000
IEEE
15 years 9 months ago
Executable Assertions for Detecting Data Errors in Embedded Control Systems
In order to be able to tolerate the effects of faults, we must first detect the symptoms of faults, i.e. the errors. This paper evaluates the error detection properties of an erro...
Martin Hiller
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 9 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ECRTS
2000
IEEE
15 years 9 months ago
Tolerating faults while maximizing reward
The imprecise computation(IC) model is a general scheduling framework, capable of expressing the precision vs. timeliness trade-off involved in many current real-time applications...
Hakan Aydin, Rami G. Melhem, Daniel Mossé
ECRTS
2000
IEEE
15 years 9 months ago
Prototyping distributed multimedia systems using communicating real-time state machines
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
Giancarlo Fortino, Libero Nigro
EUROMICRO
2000
IEEE
15 years 9 months ago
A Universal Framework for Managing Metadata in the Distributed Dragon Slayer System
In the multimedia field, metadata are becoming increasingly important for efficiently cataloguing the abundant flood of information. (Metadata are data on information structure...
Horst Wedde, Jens-Oliver P. Siepmann