5639 search results - page 426 / 1128 » Timed Abstract Non-interference |
145
click to vote
CG
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Depth-first proof-number (df-pn) search is a powerful member of the family of algorithms based on proof and disproof numbers. While df-pn has succeeded in practice, its t...
143
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
115
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
Recursive temporal (RT) namespaces extend spatial namespaces such as IP with the notion of a nested time interval. RT namespace is an architectural approach to dealing with the un...
133
click to vote
ESA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The maximum flow problem is a classical optimization problem with many applications. For a long time, HI-PR, an efficient implementation of the highest-label push-relabel...
152
click to vote
EUROCRYPT
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we prove that the sponge construction introduced in [4] is indifferentiable from a random oracle when being used with a random transformation or a random pe...