923 search results - page 25 / 185 » Proving the value of formal methods |
138
click to vote
WDAG
2007
Springer
16 years 3 days ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
149
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
153
click to vote
ENTCS
2007
15 years 6 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
142
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
151
click to vote
IFL
1997
Springer
15 years 10 months ago
1997
Springer
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...