504 search results - page 61 / 101 » Observational Logic |
102
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
State elements are increasingly vulnerable to soft errors due to their decreasing size, and the fact that latched errors cannot be completely eliminated by electrical or timing ma...
124
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
123
click to vote
ICCAD
2006
IEEE
16 years 2 days ago
2006
IEEE
In a synchronous finite state machine (FSM), huge current peaks are often observed at the moment of state transition. Previous low power state encoding algorithms focus on the red...
127
click to vote
ADHOCNOW
2008
Springer
15 years 9 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
137
click to vote
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...