8917 search results - page 1410 / 1784 » Abstraction in Algorithm Animation |
130
click to vote
ALT
2001
Springer
16 years 1 months ago
2001
Springer
Abstract. Learning of recursive functions refutably means that for every recursive function, the learning machine has either to learn this function or to refute it, i.e., to signal...
152
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Process variations make at-speed testing significantly more difficult. They cause subtle delay changes that are distributed rather than the localized nature of a trad...
123
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—On-chip power density and temperature are rising exponentially with decreasing feature sizes. This alarming trend calls for temperature management at every level of syst...
102
Voted
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract—Manufacturing process variations lead to circuit timing variability and a corresponding timing yield loss. Traditional corner analysis consists of checking all process c...
132
Voted
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...