4066 search results - page 148 / 814 » Almost Complete Sets |
151
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
188
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
We consider two-party quantum protocols starting with a transmission of some random BB84 qubits followed by classical messages. We show a general “compiler” improving the secur...
158
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Ambitious driver assistance for complex urban scenarios demands a complete awareness of the situation, including all moving and stationary objects that limit the free spa...
203
click to vote
ESTIMEDIA
2009
Springer
16 years 1 months ago
2009
Springer
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
174
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
We use the notion of boundary points to study resolution proofs. Given a CNF formula F, a lit(x)-boundary point is a complete assignment falsifying only clauses of F having the sam...