7 search results - page 1 / 2 » Design Of Provably Correct Storage Arrays |
VLSID
2001
IEEE
14 years 5 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
CHES
2011
Springer
12 years 5 months ago
2011
Springer
A lightweight and secure key storage scheme using silicon Physical Unclonable Functions (PUFs) is described. To derive stable PUF bits from chip manufacturing variations, a lightwe...
MSS
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper shows the suitability of a "self-maintaining" approach to Tertiary Disk, a large-scale disk array system built from commodity components. Instead of incurring...
CCGRID
2005
IEEE
13 years 10 months ago
2005
IEEE
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...