6020 search results - page 675 / 1204 » A New Approach to Model Counting |
228
click to vote
INFOCOM
2011
IEEE
14 years 11 months ago
2011
IEEE
—Recently, there has been great interest in physical layer security techniques that exploit the randomness of wireless channels for securely extracting cryptographic keys. Severa...
218
click to vote
SC
2009
ACM
16 years 4 days ago
2009
ACM
In order to understand the complex physics of mother nature, physicist often use many approximations to understand one area of physics and then write a simulation to reduce these ...
200
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
Due to the large difference between seek time and transfer time in current disk technology, it is advantageous to perform large I/O using a single sequential access rather than mu...
179
click to vote
MICRO
2009
IEEE
16 years 2 months ago
2009
IEEE
Building an optimising compiler is a difficult and time consuming task which must be repeated for each generation of a microprocessor. As the underlying microarchitecture changes...
211
click to vote
RECOMB
2001
Springer
15 years 12 months ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...