853 search results - page 20 / 171 » Delimited Continuations in Operating Systems |
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
The success of sensor-driven applications is reliant on whether a steady stream of data can be provided by the underlying system. This need, however, poses great challenges to sen...
BSN
2009
IEEE
14 years 2 months ago
2009
IEEE
— This work presents TEMPO (Technology-Enabled Medical Precision Observation) 3.1, a third generation body area sensor platform that accurately and precisely captures, processes,...
VR
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a novel calibration framework for multi-projector displays that achieves continuous geometric calibration by estimating and refining the poses of all projectors in an ...
CIKM
2006
Springer
14 years 1 months ago
2006
Springer
Monitoring systems today often involve continuous queries over streaming data, in a distributed collaborative system. The distribution of query operators over a network of process...