5639 search results - page 977 / 1128 » Timed Abstract Non-interference |
135
click to vote
ISLPED
2010
ACM
14 years 11 months ago
2010
ACM
Abstract--As a replacement for the fast-fading GloballySynchronous model, we have defined a flexible design style called GRLS, for Globally-Ratiochronous, Locally-Synchronous, whic...
120
Voted
ISW
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Android is a modern and popular software platform for smartphones. Among its predominant features is an advanced security model which is based on application-oriented man...
198
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...
115
click to vote
VLSID
2009
IEEE
16 years 2 months ago
2009
IEEE
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
126
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...