9477 search results - page 1608 / 1896 » Design is as Easy as Optimization |
203
Voted
SC
2003
ACM
16 years 21 days 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...
210
Voted
SENSYS
2003
ACM
16 years 21 days 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...
189
Voted
CHES
2003
Springer
16 years 21 days 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...
252
Voted
CIKM
2003
Springer
16 years 21 days 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...
185
Voted
COCOON
2003
Springer
16 years 21 days 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...