3864 search results - page 147 / 773 » time 2005 |
166
click to vote
SAT
2009
Springer
16 years 28 days ago
2009
Springer
Minimizing learned clauses is an effective technique to reduce memory usage and also speed up solving time. It has been implemented in MINISAT since 2005 and is now adopted by mos...
136
click to vote
SG
2005
Springer
15 years 12 months ago
2005
Springer
Computer-assisted animation production tools have an important role in animation production industries. They could reduce the production cost and time. In this paper, a new compute...
148
click to vote
ISCAS
2005
IEEE
16 years 1 hour ago
2005
IEEE
— Based on a Fourier series analysis, an analytic interconnect model is presented which is suitable for periodic signals, such as a clock signal. In this model, the far end time ...
130
click to vote
IH
2005
Springer
15 years 12 months ago
2005
Springer
Blending attacks are a general class of traffic-based attacks, exemplified by the (n − 1)-attack. Adding memory or pools to mixes mitigates against such attacks, however there ...
129
click to vote
COR
2006
15 years 6 months ago
2006
A fast and new heuristic recursive algorithm to find a minimum height for two-dimensional strip rectangular packing problem is presented. This algorithm is mainly based on heurist...