4747 search results - page 813 / 950 » Shuffle Memory System |
182
click to vote
TASE
2007
IEEE
16 years 21 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
144
click to vote
APN
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents the ComBack method for explicit state space exploration. The ComBack method extends the well-known hash compaction method such that full coverage of the state s...
174
click to vote
CC
2007
Springer
16 years 19 days ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
164
click to vote
CHES
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. A5/2 is a synchronous stream cipher that is used for protecting GSM communication. Recently, some powerful attacks [2,10] on A5/2 have been proposed. In this contribution...
154
click to vote
CTRSA
2007
Springer
16 years 18 days ago
2007
Springer
This paper announces a new software side-channel attack — enabled by the branch prediction capability common to all modern highperformance CPUs. The penalty paid (extra clock cyc...