18 search results - page 3 / 4 » A Slicing Method for Object-Oriented Programs Using Lightwei... |
IEEEPACT
2000
IEEE
13 years 9 months ago
2000
IEEE
Dynamic Optimization is an umbrella term that refers to any optimization of software that is performed after the initial compile time. It is a complementary optimization opportuni...
ACMSE
2008
ACM
13 years 6 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
ECOOP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
MICCAI
2002
Springer
14 years 5 months ago
2002
Springer
Abstract. In this paper, we present an automated method for colon registration. The method uses dynamic programming to align data defined on colon center-line paths, as extracted f...
POPL
2011
ACM
12 years 7 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...