1336 search results - page 90 / 268 » codes 2005 |
119
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
129
click to vote
GBRPR
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, an experimental comparison among three structural approaches to fingerprint classification is reported. Main pros and cons of such approaches are investigated by exp...
123
click to vote
ECAL
2005
Springer
15 years 8 months ago
2005
Springer
The transition from unicellular to multicellular organisms is one of the mysteries of evolutionary biology. Individual cells must give up their rights to reproduction and reproduce...
119
click to vote
DFMA
2005
IEEE
15 years 9 months ago
2005
IEEE
Video encoding is a fundamental component of a wide range of real-time multimedia applications. In this paper we present the fine grain MPEG-4 parallelism and describe a modellin...
124
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...