12774 search results - page 2455 / 2555 » A Framework for Proof Systems |
170
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...
162
click to vote
JTAER
2006
15 years 6 months ago
2006
As universities seek to adopt increased e-business, e-commerce and e-learning initiates, the overall approach taken for security management within the organisation plays an increa...
186
click to vote
ET
2007
15 years 6 months ago
2007
In this paper, we focus on reliability, one of the most fundamental and important challenges, in the nanoelectronics environment. For a processor architecture based on the unreliab...
192
click to vote
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
181
click to vote
SIGARCH
2008
15 years 6 months ago
2008
1 This paper presents a simple but effective method to reduce on-chip access latency and improve core isolation in CMP Non-Uniform Cache Architectures (NUCA). The paper introduces ...