9521 search results - page 379 / 1905 » Compiling with continuations, continued |
154
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
137
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, a...
143
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
150
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
Emerging large-scale monitoring applications require continuous tracking of complex dataanalysis queries over collections of physicallydistributed streams. Effective solutions hav...
154
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...