4117 search results - page 787 / 824 » On the Satisfiability of Complex Constraints |
162
click to vote
FOCS
2009
IEEE
16 years 17 days ago
2009
IEEE
— In a landmark paper [32], Papadimitriou introduced a number of syntactic subclasses of TFNP based on proof styles that (unlike TFNP) admit complete problems. A recent series of...
162
click to vote
ISCA
2009
IEEE
16 years 13 days ago
2009
IEEE
Caching techniques have been an efficient mechanism for mitigating the effects of the processor-memory speed gap. Traditional multi-level SRAM-based cache hierarchies, especially...
149
click to vote
ISORC
2009
IEEE
16 years 13 days ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
178
click to vote
ATAL
2009
Springer
16 years 12 days ago
2009
Springer
Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theo...
189
click to vote
CRYPTO
2009
Springer
16 years 11 days ago
2009
Springer
We study the design of cryptographic primitives resilient to key-leakage attacks, where an attacker can repeatedly and adaptively learn information about the secret key, subject o...