1411 search results - page 179 / 283 » A Value Analysis for C Programs |
148
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Algorithmic entropy can be seen as a special case of entropy as studied in statistical mechanics. This viewpoint allows us to apply many techniques developed for use in thermodyna...
198
Voted
DB
2008
15 years 5 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
139
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
128
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...
139
click to vote
HPCA
2007
IEEE
16 years 5 months ago
2007
IEEE
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...