1999 search results - page 136 / 400 » Finding Reductions Automatically |
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
CVPR
2007
IEEE
16 years 2 days ago
2007
IEEE
In this paper, we measure the responses of image patches, used as filters, on different image ensembles and examine how the responses are affected by reducing the resolution of th...
104
click to vote
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes a hardware architecture of a video noise estimation algorithm capable of real-time processing. The objectives consist of adapting a computationally demanding n...
HPCA
2005
IEEE
15 years 10 months ago
2005
IEEE
Memory system optimizations have been well studied on single-threaded systems; however, the wide use of simultaneous multithreading (SMT) techniques raises questions over their ef...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Recent evidence on the performance benefits of expanding targets during manual pointing raises a provocative question: Can a similar effect be expected for eye gaze interaction? W...