9626 search results - page 1386 / 1926 » Invariant Based Programming |
156
click to vote
DATE
2002
IEEE
16 years 1 days ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
173
click to vote
INFOVIS
2002
IEEE
16 years 11 hour ago
2002
IEEE
Relational databases provide significant flexibility to organize, store, and manipulate an infinite variety of complex data collections. This flexibility is enabled by the concept...
196
click to vote
ISSRE
2002
IEEE
16 years 5 hour ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
188
click to vote
SCAM
2002
IEEE
16 years 4 min ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
178
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper deals with output feedback impulse control under set-membership uncertainty where the control realization consists of a sequence of δ-impulses. It indicates solutio...