11321 search results - page 328 / 2265 » Improvements to Turing's method |
175
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...
155
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
At CRYPTO2005, Xiaoyun Wang, Hongbo Yu and Yiqun Lisa Yin proposed a collision attack on SHA-0 that could generate a collision with complexity 239 SHA-0 hash operations. Although t...
173
click to vote
EPEW
2006
Springer
15 years 10 months ago
2006
Springer
Benchmarking as a method of assessing software performance is known to suffer from random fluctuations that distort the observed performance. In this paper, we focus on the fluctua...
166
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
A system that applies a method of knowledge-intensive case-based reasoning, for repair and prevention of unwanted events in the domain of offshore oil well drilling, has been deve...
190
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memory objects of a stripped executa...