507 search results - page 102 / 102 » Counterexample-Guided Abstraction Refinement |
KI
2010
Springer
12 years 12 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
TON
2010
12 years 12 months ago
2010
Abstract--A framework for designing feedback-based scheduling algorithms is proposed for elegantly solving the notorious packet missequencing problem of a load-balanced switch. Unl...