2957 search results - page 425 / 592 » Code analysis and CS-XML |
143
click to vote
ENDM
2010
15 years 4 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
152
click to vote
COMCOM
2006
15 years 4 months ago
2006
We consider the problem of reliable data dissemination in the context of wireless sensor networks. For some application scenarios, reliable data dissemination to all nodes is nece...
128
click to vote
IJNSEC
2008
15 years 4 months ago
2008
This paper outlines a novel biometric key release scheme to bind application-specific key from biometric data such that the key can be retrieved effectively by using DiscreteHashi...
107
click to vote
IVC
2006
15 years 4 months ago
2006
Palette reordering has been shown to be a very effective approach for improving the compression of color-indexed images by general purpose continuous-tone image coding techniques....
152
click to vote
LISP
2008
15 years 4 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...