4469 search results - page 553 / 894 » Dynamic Program Slicing |
180
click to vote
ECOOP
2008
Springer
15 years 8 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...
146
click to vote
COOTS
2001
15 years 8 months ago
2001
Mainstream object-oriented languages, such as C++ and Java1 , provide only a restricted form of polymorphic methods, namely uni-receiver dispatch. In common programming situations...
182
click to vote
AAAI
1998
15 years 8 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
178
click to vote
ISMB
1997
15 years 8 months ago
1997
The structural comparison of proteins has become increasingly important as a means to identify protein motifs and fold families. In this paper we present a new algorithm for the c...
187
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Genetic programming approaches have previously been employed in the literature to evolve heuristics for various combinatorial optimisation problems. This paper presents a hyper-heu...