1392 search results - page 248 / 279 » Staging generic programming |
113
click to vote
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
107
click to vote
BMCBI
2010
15 years 15 days ago
2010
Background: High-throughput sequencing (HTS) technologies play important roles in the life sciences by allowing the rapid parallel sequencing of very large numbers of relatively s...
123
click to vote
ORL
2006
15 years 10 days ago
2006
The strategic safety stock placement problem is a constrained separable concave minimization problem and so is solvable, in principle, as a sequence of mixed-integer programming p...
120
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
79
Voted
ICFP
2008
ACM
16 years 11 days ago
2008
ACM
The Revised6 Report on Scheme requires its generic equivalence predicate, equal?, to terminate even on cyclic inputs. While the terminating equal? can be implemented via a DFA-equ...