3130 search results - page 210 / 626 » Design Correctness of Digital Systems |
147
click to vote
EDCC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
115
click to vote
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
121
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
131
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
124
click to vote
WSC
2004
15 years 5 months ago
2004
Simulation can be an effective way to evaluate alternative decisions in Sense-and-Respond systems prior to taking actions to resolve existing or anticipated business situations. I...