3107 search results - page 322 / 622 » Error-Correcting Source Code |
126
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the ...
128
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
147
click to vote
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
113
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
User applications that move a lot of data across the user-kernel boundary suffer from a serious performance penalty. We provide a framework, Compound System Calls (CoSy), to enhan...
153
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
We present an efficient implementation of a state of the art algorithm PixelMatch for matching all pixels within consecutive video frames. The method is of practical interest for ...