2947 search results - page 91 / 590 » Analyzing Program Analyses |
91
Voted
CSREAESA
2004
15 years 4 months ago
2004
Embedded systems often have limited amounts of available memory, thus encouraging the development of compact programs. This paper presents a link-time program compactor for the emb...
138
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
118
Voted
AMR
2006
Springer
15 years 6 months ago
2006
Springer
An original task of structuring and labeling large television streams is tackled in this paper. Emphasis is put on simple and efficient methods to detect precise boundaries of prog...
128
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
102
Voted
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, a revised form of Implicit Context Representation Cartesian Genetic Programming is used in the development of a diagnostic tool for the assessment of patients wi...