1942 search results - page 21 / 389 » Speeding Up XTR |
ISMVL
2002
IEEE
14 years 2 months ago
2002
IEEE
We present the role that spectral methods play in the development of the most impressive quantum algorithms, such as the polynomial time number factoring algorithm by Shor. While ...
EDCC
2010
Springer
14 years 2 months ago
2010
Springer
ICALP
2001
Springer
14 years 2 months ago
2001
Springer
GLVLSI
2000
IEEE
14 years 2 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
ISLPED
2000
ACM
14 years 2 months ago
2000
ACM
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...