12183 search results - page 2098 / 2437 » Computers under Attacks! |
204
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
348
click to vote
CIDR
2011
14 years 10 months ago
2011
Cloud computing provides users near instant access to seemingly unlimited resources, and provides service providers the opportunity to deploy complex information technology infras...
212
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
A single-letter achievable rate region is proposed for the two-receiver discrete memoryless broadcast channel with noiseless or noisy feedback. The coding strategy involves block-...
217
click to vote
CVIU
2011
14 years 10 months ago
2011
In this paper, we aim to reconstruct free-form 3D models from only one or few silhouettes by learning the prior knowledge of a specific class of objects. Instead of heuristically...
326
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
Multicore computers pose a substantial challenge to infrastructure software such as operating systems or databases. Such software typically evolves slower than the underlying hard...