2796 search results - page 200 / 560 » A time structure based software reliability model |
115
Voted
ALMOB
2008
15 years 3 months ago
2008
Background: It is of biological interest to make genome-wide predictions of the locations of DNA melting bubbles using statistical mechanics models. Computationally, this poses th...
129
Voted
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
128
Voted
ASM
2003
ASM
15 years 9 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
185
Voted
ICIP
1997
IEEE
15 years 7 months ago
1997
IEEE
A novel algorithm is described for coding objects in video compression systems which gives complete control over the bit allocation to the video objects. The method is evaluated b...
117
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...