3742 search results - page 554 / 749 » On the Use of Formal Techniques for Validation |
169
click to vote
ASPDAC
2005
ACM
16 years 2 days ago
2005
ACM
－In high performance systems, process variations and fluctuations of operating environments have significant impact on the clock skew. Recently, hybrid structures of H-tree and m...
154
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
This paper focuses on the computation time of evolutionary algorithms. First, some exact expressions of the mean first hitting times of general evolutionary algorithms in finite...
205
click to vote
AVBPA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper is framed in the field of statistical face analysis. In particular, the problem of accurate segmentation of prominent features of the face in frontal view ima...
177
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....
164
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...