6020 search results - page 169 / 1204 » A New Approach to Model Counting |
124
click to vote
FPGA
2003
ACM
15 years 9 months ago
2003
ACM
This paper proposes a new high-level technique for designing fault tolerant systems in SRAM-based FPGAs, without modifications in the FPGA architecture. Traditionally, TMR has bee...
137
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Interleaving experiments are an attractive methodology for evaluating retrieval functions through implicit feedback. Designed as a blind and unbiased test for eliciting a preferen...
138
click to vote
CSC
2006
15 years 5 months ago
2006
- A variety of data analysis concerned with genome sequences support the proposal that each living organism owns a genomic signature. Classical approaches to the genomic signature ...
153
click to vote
ICPADS
2010
IEEE
15 years 2 months ago
2010
IEEE
As the core count in high-performance computing systems keeps increasing, faults are becoming common place. Checkpointing addresses such faults but captures full process images ev...
118
click to vote
CRYPTO
2008
Springer
15 years 6 months ago
2008
Springer
Prior approaches [15, 14] to building collusion-free protocols require exotic channels. By taking a conceptually new approach, we are able to use a more digitally-friendly communic...