1860 search results - page 185 / 372 » A Temporal Logic of Robustness |
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
Negative Bias Temperature Instability (NBTI), a PMOS aging phenomenon causing significant loss on circuit performance and lifetime, has become a critical challenge for temporal re...
92
Voted
FMSD
2002
15 years 1 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
121
click to vote
HUMO
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...
121
click to vote
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
Subthreshold logic is showing good promise as a viable ultra-low-power circuit design technique for powerlimited applications. For this design technique to gain widespread adoption...
117
click to vote
ENTCS
2006
15 years 1 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...