1145 search results - page 159 / 229 » The Correctness of an Optimized Code Generation |
129
click to vote
ICST
2011
IEEE
14 years 3 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
112
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
122
click to vote
ECOOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
CRYPTO
1999
Springer
15 years 4 months ago
1999
Springer
Several variations of rooted tree based solutions have been recently proposed for member revocation in multicast communications [18, 19, 20, 21]. In this paper, we show that by ass...
115
click to vote
CG
2007
Springer
14 years 12 months ago
2007
Springer
This paper presents a robust non-blind watermarking scheme for subdivision surfaces. The algorithm works in the frequency domain, by modulating spectral coefficients of the subdi...