9477 search results - page 1608 / 1896 » Design is as Easy as Optimization |
168
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
179
click to vote
SENSYS
2003
ACM
15 years 12 months ago
2003
ACM
For many sensor network applications such as military surveillance, it is necessary to provide full sensing coverage to a security-sensitive area while at the same time minimizing...
168
click to vote
CHES
2003
Springer
15 years 12 months ago
2003
Springer
We introduce multi-channel attacks, i.e., side-channel attacks which utilize multiple side-channels such as power and EM simultaneously. We propose an adversarial model which combi...
222
click to vote
CIKM
2003
Springer
15 years 12 months ago
2003
Springer
There have been several techniques proposed for building statistics for static XML data. However, very little work has been done in the area of building XML statistics for data so...
160
click to vote
COCOON
2003
Springer
15 years 12 months ago
2003
Springer
We design efficient competitive algorithms for discovering hidden information using few queries. Specifically, consider a game in a given set of intervals (and their implied inte...