11949 search results - page 375 / 2390 » Some results on (a:b)-choosability |
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
In this work the performance of several local search and metaheuristic methods is compared to previously reported work using evolutionary algorithms. The results show that while m...
110
click to vote
APAQS
2001
IEEE
15 years 5 months ago
2001
IEEE
A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current t...
138
click to vote
ARITH
2001
IEEE
15 years 5 months ago
2001
IEEE
Design of the leading zero anticipator ( L a ) or detector (LZD) is pivotal to the normalization of results for addition and fused multiplication-addition in highperjormance float...
129
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
115
click to vote
FSE
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents an operational reconstruction technique of most stream ciphers. We primarily expose it for key-stream generators which consist of several linear feedback shift ...