2957 search results - page 270 / 592 » Code analysis and CS-XML |
123
click to vote
IVC
2002
15 years 3 months ago
2002
Facial variation divides into a number of functional subspaces, and ensemblespecific variation. An improved method of measuring these is presented, within the space defined by an ...
132
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...
152
click to vote
ISAMI
2010
15 years 1 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
130
Voted
POPL
2011
ACM
14 years 6 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
164
Voted
ASPDAC
2012
ACM
13 years 11 months ago
2012
ACM
—In both pre-silicon and post-silicon validation, the detection of design errors requires both stimulus capable of activating the errors and checkers capable of detecting the beh...