1940 search results - page 248 / 388 » Dependable Software: An Oxymoron |
160
click to vote
LCPC
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
157
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
: We introduce the concept of an operating system for platforms that consist beside memory and peripheral devices of FPGAs as the only computational resource. Applications can be d...
175
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
247
click to vote
FAABS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
203
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...