4854 search results - page 626 / 971 » It's the Programming, Stupid |
171
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
160
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The sub-optimality approximation problem considers an optimization problem O, its optimal solution σ∗ , and a variable x with domain {d1, . . . , dm} and returns appro...
156
Voted
CP
2005
Springer
16 years 8 days ago
2005
Springer
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
167
click to vote
CSL
2005
Springer
16 years 8 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
174
click to vote
EUROPAR
2005
Springer
16 years 8 days ago
2005
Springer
Instruction delivery is a critical component for wide-issue processors since its bandwidth and accuracy place an upper limit on performance. The processor front-end accuracy and ba...