24554 search results - page 111 / 4911 » Dependable distributed systems |
147
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
129
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
We propose a method to reuse unmodified device drivers and to improve system dependability using virtual machines. We run the unmodified device driver, with its original operating...
147
click to vote
ISAS
2004
Springer
15 years 10 months ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
137
click to vote
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
We address in this paper the problem of optimal coding in the framework of region-based video coding systems, with a special stress on content-based functionalities. We present a ...
130
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...