7262 search results - page 331 / 1453 » Reversible Computer Hardware |
116
click to vote
ICCD
2006
IEEE
16 years 19 days ago
2006
IEEE
— We have entered an era where chip yields are decreasing with scaling. A new concept called intelligible testing has been previously proposed with the goal of reversing this tre...
123
click to vote
FP
1989
15 years 7 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
125
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Recent advances in software and hardware for clustered computing have allowed scientists and computing specialists to take advantage of commodity processors in solving ch...
110
click to vote
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
Trusting a computer for a security-sensitive task (such as checking email or banking online) requires the user to know something about the computer’s state. We examine research ...
140
click to vote
DAGSTUHL
2008
15 years 5 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...