5668 search results - page 893 / 1134 » The case for software evolution |
128
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper proposes a fast motion estimation algorithm for MPEG-4 shape coding. The proposed algorithm is based on inherent properties of shape coding as well as shape information...
232
Voted
CC
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
224
Voted
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
142
Voted
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
150
Voted
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...