9521 search results - page 369 / 1905 » Compiling with continuations, continued |
138
click to vote
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
154
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Applications ranging from location-based services to multi-player online gaming require continuous query support to monitor, track, and detect events of interest among sets of mov...
155
click to vote
HYBRID
1999
Springer
15 years 8 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
179
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
131
click to vote
CIDR
2007
15 years 5 months ago
2007
Wireless sensor networks are poised to enable continuous data collection on unprecedented scales, in terms of area location and size, and frequency. This is a great boon to field...