1707 search results - page 159 / 342 » Early Integer Programming |
124
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
129
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
116
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
ct How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those l...
122
click to vote
ICA3PP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Program behaviors reveal that programs have different sources requirement at different phases, even at continuous clocks. It is not a reasonable way to run different prog...
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We present the derivation of a space efficient parser combinator library: the constructed parsers do not keep unnecessary references to the input, produce online results and effic...