9521 search results - page 50 / 1905 » Compiling with continuations, continued |
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— As mobile robots become increasingly autonomous over extended periods of time, opportunities arise for their use on repetitive tasks. We define and implement behaviors for a c...
ISCA
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a hardware-based dynamic optimizer that continuously optimizes an application’s instruction stream. In continuous optimization, dataflow optimizations are p...
APN
2005
Springer
15 years 3 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
104
click to vote
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
WEBDB
2005
Springer
15 years 3 months ago
2005
Springer
The dynamics of the Web and the demand for new, active services are imposing new requirements on Web servers. One such new service is the processing of continuous queries whose ou...