2488 search results - page 443 / 498 » An improvement in formal verification |
82
Voted
IH
2001
Springer
15 years 5 months ago
2001
Springer
The goal of zero-knowledge watermark detection is to allow a prover to soundly convince a verifier of the presence of a watermark in certain stego-data without revealing any infor...
113
click to vote
TACAS
2001
Springer
15 years 5 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
114
click to vote
HPCA
2000
IEEE
15 years 5 months ago
2000
IEEE
We are attacking the memory bottleneck by building a “smart” memory controller that improves effective memory bandwidth, bus utilization, and cache efficiency by letting appl...
125
click to vote
ICPPW
2000
IEEE
15 years 5 months ago
2000
IEEE
Proxy caches have become a central mechanism for reducing the latency of web document retrieval. While caching alone reduces latency for previously requested documents, web docume...
107
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
Dynamic replication algorithms aim at allocating, migrating and deleting copies of an object over various Internet hosts, according to the access patterns exhibited online, so as ...