Sciweavers

679 search results - page 68 / 136
» codes 2002
Sort
View
DELTA
2002
IEEE
15 years 4 months ago
Test Bed for Number Plate Recognition Applications
A flexible software based platform for number plate recognitions applications is described. It breaks the processing into several explicit modules, with the implementation for eac...
Donald G. Bailey, D. Irecki, B. K. Lim, L. Yang
POPL
2002
ACM
16 years 5 days ago
Proving correctness of compiler optimizations by temporal logic
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Chr...
STOC
2002
ACM
117views Algorithms» more  STOC 2002»
16 years 5 days ago
Hardness amplification within NP
We study the average-case hardness of the class NP against deterministic polynomial time algorithms. We prove that there exists some constant ? > 0 such that if there is some l...
Ryan O'Donnell
ASAP
2002
IEEE
85views Hardware» more  ASAP 2002»
15 years 4 months ago
Predictable Instruction Caching for Media Processors
The determinism of instruction cache performance can be considered a major problem in multi-media devices which hope to maximise their quality of service. If instructions are evic...
James Irwin, David May, Henk L. Muller, Dan Page
ICEIS
2002
IEEE
15 years 4 months ago
Thin Servers - An Architecture to Support Arbitrary Placement of Computation in the Internet
: The Internet is experiencing an overwhelming growth that will have a negative impact on its performance and quality of service. In this paper we describe a new architecture that ...
Juan Carlos Diaz y Carballo, Alan Dearle, Richard ...