1336 search results - page 117 / 268 » codes 2005 |
105
Voted
ACIVS
2005
Springer
15 years 6 months ago
2005
Springer
The purpose of the paper is to introduce a new method for flexible storage of still images. The complete design of the system is described with the scalable encoding, the distorti...
115
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
EUROCAST
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...
105
Voted
FSE
2005
Springer
15 years 6 months ago
2005
Springer
1 This paper presents a new hash function design, which is different from the popular designs of the MD4-family. Seen in the light of recent attacks on MD4, MD5, SHA-0, SHA-1, and...
89
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...