367 search results - page 8 / 74 » Partial evaluation of machine code |
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
We develop virtual machines and compilers for a multi-level language, which supports multi-stage specialization by composing program fragments with quotation mechanisms. We conside...
CLEF
2010
Springer
13 years 11 months ago
2010
Springer
We propose to use MapReduce to quickly test new retrieval approaches on a cluster of machines by sequentially scanning all documents. We present a small case study in which we use ...
TCAD
2002
13 years 9 months ago
2002
The objective of this work is to create a framework for the optimization of embedded software. We present algorithms and a tool flow to reduce the computational effort of programs,...
CLEF
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes the participation of MIRACLE research consortium at the ImageCLEF Medical Image Annotation task of ImageCLEF 2007. Our areas of expertise do not include image...