1145 search results - page 59 / 229 » The Correctness of an Optimized Code Generation |
157
click to vote
ICIP
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper we present a generic content-based solution targeting at authenticating image in a semi-fragile way, which integrates watermarking-based approach with signature-base...
148
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
164
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes a new algorithm based on the clonal selection principle for the design of spreading codes for DS-CDMA. The algorithm follows a multi-objective approach, genera...
152
click to vote
ICSR
2000
Springer
15 years 9 months ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
156
click to vote
KBSE
2007
IEEE
16 years 9 days 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...