8087 search results - page 1544 / 1618 » Meta Data Management |
163
click to vote
DATE
2009
IEEE
16 years 29 days ago
2009
IEEE
—As semiconductor manufacturing enters advanced nanometer design paradigm, aging and device wear-out related degradation is becoming a major concern. Negative Bias Temperature In...
187
click to vote
GLOBECOM
2009
IEEE
16 years 28 days ago
2009
IEEE
—The emerging biometric cryptography has gained significant interests for key management and privacy protection, but the previously proposed schemes using set metrics for finge...
131
click to vote
IEEEPACT
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...
163
click to vote
ISCA
2009
IEEE
16 years 25 days ago
2009
IEEE
Caching techniques have been an efficient mechanism for mitigating the effects of the processor-memory speed gap. Traditional multi-level SRAM-based cache hierarchies, especially...
187
click to vote
TPHOL
2009
IEEE
16 years 25 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...