1379 search results - page 85 / 276 » codes 2009 |
138
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Maintaining object-oriented systems that use inheritance and polymorphism is difficult, since runtime information, such as which methods are actually invoked at a call site, is n...
124
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
143
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
135
click to vote
AVSS
2009
IEEE
15 years 2 months ago
2009
IEEE
The paper presents a method for efficient text detection in unconstrained environments, based on image features derived from connected components and on a classification architect...
132
click to vote
EUROGP
2009
Springer
15 years 11 months ago
2009
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in GP from the perspec...