6020 search results - page 1174 / 1204 » A New Approach to Model Counting |
134
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— The success of a P2P file-sharing network highly depends on the scalability and versatility of its search mechanism. Two particularly desirable search features are scope (abil...
111
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— Input Queued(IQ) switches have been very well studied in the recent past. The main problem in the IQ switches concerns scheduling. The main focus of the research has been the ...
116
click to vote
IDEAS
2002
IEEE
15 years 6 months ago
2002
IEEE
A new quality of service (QoS) aware disk scheduling algorithm is presented. It is applicable in environments where data requests arrive with different QoS requirements such as re...
146
click to vote
MICRO
2002
IEEE
15 years 6 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
104
click to vote
EUROCRYPT
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...