2035 search results - page 113 / 407 » Working memory |
102
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
118
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...
111
click to vote
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Efficient use of an optimized custom memory hierarchy to exploit temporal locality in the memory accesses on array signals can have a very large impact on the power consumption i...
119
click to vote
AES
2000
Springer
15 years 7 months ago
2000
Springer
Serpent is a 32-round AES block cipher finalist. In this paper we present several attacks on reduced-round variants of Serpent that require less work than exhaustive search. We at...
121
click to vote
HICSS
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents scalable algorithms for recovery and page coherency in multicomputer object stores. Recovery and coherency are central to object store engineering and distribu...