435 search results - page 11 / 87 » Generative Programming and Active Libraries |
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...
112
click to vote
SEAL
1998
Springer
15 years 6 months ago
1998
Springer
Genetic programming evolves Lisp-like programs rather than fixed size linear strings. This representational power combined with generality makes genetic programming an interesting ...
120
click to vote
FCCM
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper explores the implications of integrating flexible module generation into a compiler for FPGAs. The objective is to improve the programmabilityof FPGAs, or in other wor...
141
click to vote
PASTE
2005
ACM
15 years 7 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
143
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...