914 search results - page 84 / 183 » Analysis of Heuristic Synergies |
118
click to vote
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
100
click to vote
GECCO
2009
Springer
15 years 6 months ago
2009
Springer
Recently, a form of memory usage was introduced for genetic programming (GP) called “soft memory.” Rather than have a new value completely overwrite the old value in a registe...
IISWC
2006
IEEE
15 years 6 months ago
2006
IEEE
— Recent advances in molecular biology have led to a continued growth in the biological information generated by the scientific community. Additionally, this area has become a m...
CRYPTO
2005
Springer
15 years 5 months ago
2005
Springer
We investigate several previously suggested scenarios of instantiating random oracles (ROs) with “realizable” primitives in cryptographic schemes. As candidates for such “in...
CCS
2006
ACM
15 years 3 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...