3823 search results - page 169 / 765 » Stability of Hybrid Systems |
115
click to vote
TCS
2010
15 years 3 months ago
2010
One of the major operators of Bacterial Foraging Optimization Algorithm (BFOA) is the reproduction phenomenon of virtual bacteria each of which models one trial solution of the op...
181
Voted
SIGCOMM
2012
ACM
13 years 7 months ago
2012
ACM
The Route Shepherd tool demonstrates applications of choosing between routing protocol configurations on the basis of rigorouslysupported theory. Splitting the configuration spa...
149
click to vote
ISCA
2008
IEEE
15 years 11 months ago
2008
IEEE
We demonstrate how fine-grained memory protection can be used in support of transactional memory systems: first showing how a software transactional memory system (STM) can be m...
159
Voted
SRDS
1999
IEEE
15 years 9 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
160
click to vote
HYBRID
1998
Springer
15 years 9 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....