2299 search results - page 84 / 460 » Logical Data Expiration |
119
Voted
CADE
2003
Springer
16 years 28 days ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
90
Voted
ICPR
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a novel approach for extraction of minutiaefeatures from fingerprint images. Theproposed approach is based on the use of logical templates for minutiae extraction in th...
68
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
Abstract-- A complementary ferroelectriccapacitor (CFC) logic-circuit style is proposed for a compact and standby-power-free content-addressable memory (CAM). Since the use of the ...
118
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Side channel attacks are known to be efficient techniques to retrieve secret data. In this context, this paper concerns the evaluation of the robustness of triple rail logic agains...
105
click to vote
KRDB
2001
15 years 2 months ago
2001
We analyze several classes of path constraints for semistructured data in a unified framework and prove some decidability and complexity results for these constraints by embedding...