853 search results - page 49 / 171 » Delimited Continuations in Operating Systems |
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
ENTCS
2007
14 years 9 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
SIAMCO
2010
14 years 8 months ago
2010
We consider a network consisting of n interconnected nonlinear subsystems. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inpu...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—This paper considers a broadband cellular orthogonal frequency-division multiple-access (OFDMA) system with relay nodes operating in decode-and-forward and half-duplex m...
120
click to vote
ICDE
2006
IEEE
15 years 3 months ago
2006
IEEE
We consider the problem of query optimization in distributed stream based systems where multiple continuous queries may be executing simultaneously. In such systems, distribution ...