903 search results - page 160 / 181 » Completeness Results for Memory Logics |
167
click to vote
MICRO
2009
IEEE
16 years 24 days ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
178
click to vote
EMSOFT
2007
Springer
16 years 10 days ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
206
click to vote
ACISP
2006
Springer
16 years 5 days ago
2006
Springer
In this paper we are interested in algebraic immunity of several well known highly-nonlinear vectorial Boolean functions (or Sboxes), designed for block and stream ciphers. Unfortu...
181
click to vote
CC
1998
Springer
15 years 5 months ago
1998
Springer
Graph coloring is the dominant paradigm for global register allocation [8, 7, 4]. Coloring allocators use an interference graph, Z, to model conflicts that prevent two values from ...
173
click to vote
NETWORKING
2010
15 years 4 months ago
2010
Web caching techniques reduce user-perceived latency by serving the most popular web objects from an intermediate memory. In order to assure that reused objects are not stale, cond...