2673 search results - page 380 / 535 » Guided Static Analysis |
132
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
ICSPEA is a novel multi-objective evolutionary algorithm which integrates aspects from the powerful variation operators of the Covariance Matrix Adaptation Evolution Strategy (CMA...
136
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
141
click to vote
IRI
2006
IEEE
15 years 10 months ago
2006
IEEE
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
106
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
: With technology scaling, elevated temperatures caused by increased power density create a critical bottleneck modulating the circuit operation. With the advent of FinFET technolo...
135
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
In many text-processing applications, we would like shapes that expand (or shrink) in size to fit their textual content. We address how to efficiently compute the minimum size fo...