4725 search results - page 600 / 945 » Dependence-Based Program Analysis |
169
click to vote
ECOOP
2005
Springer
16 years 8 days ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
182
click to vote
UML
2005
Springer
16 years 6 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
188
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...
184
click to vote
CGO
2003
IEEE
16 years 1 days ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...
165
click to vote
DSOM
2003
Springer
15 years 12 months ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...