243 search results - page 28 / 49 » Error Detection Using Dynamic Dataflow Verification |
EMSOFT
2006
Springer
14 years 8 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a novel framework for tracking of a long sequence of human activities, including the time instances of change from one activity to the next, using a closed-loop, non-li...
TSMC
2010
13 years 3 months ago
2010
In recent years the protection of biometric data has gained increased interest from the scientific community. Methods such as the fuzzy commitment scheme, helper data system, fuzzy...
ISCA
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper presents a novel technique, Memory Mapped ECC, which reduces the cost of providing error correction for SRAM caches. It is important to limit such overheads as processo...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...