2000 search results - page 87 / 400 » Program Transformation and Proof Transformation |
242
Voted
NGC
2006
Springer
15 years 7 months ago
2006
Springer
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...
200
click to vote
DAWAK
2005
Springer
16 years 29 days ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
191
Voted
ICDT
2005
ACM
16 years 28 days ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
173
Voted
IPPS
2003
IEEE
16 years 21 days 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...
205
click to vote
DELTA
2010
IEEE
16 years 15 days ago
2010
IEEE
High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...