9521 search results - page 380 / 1905 » Compiling with continuations, continued |
114
click to vote
ICS
2004
Tsinghua U.
15 years 9 months ago
2004
Tsinghua U.
With processor speeds continuing to outpace the memory subsystem, cache missing memory operations continue to become increasingly important to application performance. In response...
144
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
163
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
The fundamental dichotomy in evolutionary algorithms is that between exploration and exploitation. Recently, several algorithms [8, 9, 14, 16, 17, 20] have been introduced that gu...
134
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
144
click to vote
TIME
2000
IEEE
15 years 8 months ago
2000
IEEE
In spatiotemporal applications, meaningful changes vary according to object type, level of detail, and nature of application. In this paper, we introduce a dynamic classification ...