3688 search results - page 434 / 738 » Static analysis of aspects |
175
click to vote
EUROPAR
2004
Springer
16 years 5 days ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
166
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
140
click to vote
ICIAR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper, a coarse-to-fine classification scheme is used to recognize facial expressions (angry, disgust, fear, happiness, neutral, sadness and surprise) of novel ex...
167
click to vote
SIGADA
2004
Springer
16 years 4 days ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
203
click to vote
VMCAI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...