557 search results - page 52 / 112 » Useful Transformations in Answer set programming |
157
click to vote
ALIFE
1999
15 years 2 months ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
116
Voted
DAC
1995
ACM
15 years 6 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
136
click to vote
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
113
click to vote
SIGADA
2004
Springer
15 years 7 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
114
click to vote
ICALP
1990
Springer
15 years 6 months ago
1990
Springer
We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our e...