24 search results - page 5 / 5 » HOL2P - A System of Classical Higher Order Logic with Second... |
ISCA
2012
IEEE
11 years 7 months ago
2012
IEEE
The reliability of future processors is threatened by decreasing transistor robustness. Current architectures focus on delivering high performance at low cost; lifetime device rel...
ISCA
2000
IEEE
13 years 9 months ago
2000
IEEE
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
JUCS
2008
13 years 4 months ago
2008
: In order to enhance their global business performance, organizations must be careful with the quality of their information since it is one of their main assets. Analogies to qual...
CIBCB
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...