Sciweavers

7167 search results - page 205 / 1434
» A Technique for Invariant Generation
Sort
View
ICCD
2001
IEEE
110views Hardware» more  ICCD 2001»
16 years 4 months ago
Low-Energy DSP Code Generation Using a Genetic Algorithm
This paper deals with low-energy code generation for a highly optimized digital signal processor designed for mobile communication applications. We present a genetic algorithm bas...
Markus Lorenz, Rainer Leupers, Peter Marwedel, Tho...
CEC
2009
IEEE
16 years 1 months ago
An evaluation of Differential Evolution in software test data generation
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...
Ricardo Landa Becerra, Ramón Sagarna, Xin Y...
WSOM
2009
Springer
16 years 1 months ago
Bag-of-Features Codebook Generation by Self-Organisation
Bag of features is a well established technique for the visual categorisation of objects, categories of objects and textures. One of the most important part of this technique is co...
Teemu Kinnunen, Joni-Kristian Kämärä...
SAC
2004
ACM
16 years 18 days ago
Automatic parallel code generation for tiled nested loops
This paper presents an overview of our work, concerning a complete end-to-end framework for automatically generating message passing parallel code for tiled nested for-loops. It c...
Georgios I. Goumas, Nikolaos Drosinos, Maria Athan...
DAGSTUHL
1996
15 years 8 months ago
Compiler Generation for Interactive Graphics Using Intermediate Code
Abstract. This paper describes a compiler generator (cogen) designed for interactive graphics, and presents preliminary results of its application to pixel-level code. The cogen ac...
Scott Draves