11321 search results - page 32 / 2265 » Improvements to Turing's method |
105
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Many large-scale production applications often have very long executions times and require periodic data checkpoints in order to save the state of the computation for program rest...
113
click to vote
CHI
2008
ACM
16 years 2 months ago
2008
ACM
In the 2006 U.S. election, it was estimated that over 66 million people would be voting on direct recording electronic (DRE) systems in 34% of the nation's counties [8]. Alth...
105
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
118
click to vote
CHES
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...
ASPDAC
2001
ACM
15 years 5 months ago
2001
ACM
Abstract-- We propose a method of correlating circuit performance with technology fluctuations during the circuit-design phase. The method employs test circuits sensitive for techn...