Sciweavers

2914 search results - page 377 / 583
» Optimization by Stochastic Continuation
Sort
View
ASIACRYPT
2003
Springer
15 years 10 months ago
Parallelizing Explicit Formula for Arithmetic in the Jacobian of Hyperelliptic Curves
One of the recent thrust areas in research on hyperelliptic curve cryptography has been to obtain explicit formulae for performing arithmetic in the Jacobian of such curves. We con...
Pradeep Kumar Mishra, Palash Sarkar
ASPDAC
2008
ACM
116views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Faster projection based methods for circuit level verification
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
Chao Yan, Mark R. Greenstreet
CORR
2007
Springer
120views Education» more  CORR 2007»
15 years 6 months ago
Random subcubes as a toy model for constraint satisfaction problems
We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the s...
Thierry Mora, Lenka Zdeborová
TIT
2002
68views more  TIT 2002»
15 years 6 months ago
A Lagrangian formulation of Zador's entropy-constrained quantization theorem
Abstract--Zador's classic result for the asymptotic high-rate behavior of entropy-constrained vector quantization is recast in a Lagrangian form which better matches the Lloyd...
Robert M. Gray, Tamás Linder, Jia Li
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 6 months ago
Ni-MH battery modelling for ambient intelligence applications
Mobile devices, like sensor networks and MEMS actuators use mobile power supplies to ensure energy for their operation. These are mostly batteries. The lifetime of the devices dep...
Domonkos Szente-Varga, Gyula Horvath, Márta...