374 search results - page 64 / 75 » IP = PSPACE using Error Correcting Codes |
COMPUTER
1999
13 years 7 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
DSN
2008
IEEE
14 years 2 months ago
2008
IEEE
The long-term availability of data stored in a file system depends on how well it safeguards on-disk pointers used to access the data. Ideally, a system would correct all pointer...
SIGMETRICS
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we present a new metric, Hard-Fault Architectural Vulnerability Factor (H-AVF), to allow designers to more effectively compare alternate hard-fault tolerance scheme...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—The network address translation technique (NAT) is widely used in wireless routers. It is a low cost solution to IPv4 address space limitations. However, cyber criminals may abu...
EDBT
2004
ACM
14 years 8 months ago
2004
ACM
Abstract. Recent years have witnessed an increasing interest in designing algorithms for querying and analyzing streaming data (i.e., data that is seen only once in a fixed order) ...