8780 search results - page 175 / 1756 » On the Feasibility of Consistent Computations |
201
click to vote
LICS
2003
IEEE
16 years 13 days ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
191
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...
163
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Digital microfluidic biochips have emerged as a popular alternative for laboratory experiments. To make the biochip feasible for practical applications, pin-count reduction is a k...
183
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
At-speed testing of GHz processors using external testers may not be technically and economically feasible. Hence, there is an emerging need for low-cost, high-quality self-test m...
163
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
This research examines the privacy comfort levels of participants if others can view traces of their web browsing activity. During a week-long field study, participants used an el...