12 search results - page 1 / 3 » Quantum Online Memory Checking |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
FOCS
2005
IEEE
13 years 11 months ago
2005
IEEE
We consider the problem of storing a large file on a remote and unreliable server. To verify that the file has not been corrupted, a user could store a small private (randomized...
TCC
2009
Springer
14 years 6 months ago
2009
Springer
We consider the problem of memory checking, where a user wants to maintain a large database on a remote server but has only limited local storage. The user wants to use the small ...
HPCA
2007
IEEE
13 years 11 months ago
2007
IEEE
To provide high dependability in a multithreaded system despite hardware faults, the system must detect and correct errors in its shared memory system. Recent research has explore...
ISMVL
2009
IEEE
14 years 1 days ago
2009
IEEE
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...