132 search results - page 13 / 27 » Integer Programming: Optimization and Evaluation Are Equival... |
159
click to vote
POPL
2006
ACM
16 years 16 days ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
116
Voted
SIGMOD
2012
ACM
13 years 2 months ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
95
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
96
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
77
Voted
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
We consider a switch module routing problem for symmetric array FPGAs. The work is motivated by two applications. The rst is that of eciently evaluating switch module designs [8]...