2000 search results - page 95 / 400 » Program Transformation and Proof Transformation |
163
click to vote
ASAP
2010
IEEE
15 years 7 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
178
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
184
click to vote
EC
2006
15 years 6 months ago
2006
We show how Genetic Programming (GP) can be used to evolve useful quantum computing artefacts of increasing sophistication and usefulness: firstly specific quantum circuits, then ...
164
click to vote
MPC
1989
Springer
15 years 10 months ago
1989
Springer
A scheme is presented which transforms systolic programs with a two-dimensionalstructure to one dimension. The elementary steps of the transformation are justified by theorems in ...
178
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
There is a multicore platform that is currently concentrating an enormous attention due to its tremendous potential in terms of sustained performance: the NVIDIA Tesla boards. The...