4716 search results - page 324 / 944 » Iterative-free program analysis |
200
click to vote
ESOP
2005
Springer
16 years 6 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
197
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
182
click to vote
CHES
2007
Springer
15 years 10 months ago
2007
Springer
Graphics Processing Units (GPUs) present large potential performance gains within stream processing applications over the standard CPU. These performance gains are best realised wh...
181
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...