2377 search results - page 83 / 476 » Hybrid Systems in TLA |
115
click to vote
CAV
2010
Springer
14 years 10 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
165
Voted
ICDE
2003
IEEE
16 years 2 months ago
2003
IEEE
For applications that involve rapidly changing textual data and also require traditional DBMS capabilities, current systems are unsatisfactory. In this paper, we describe a hybrid...
116
click to vote
JVA
2006
IEEE
15 years 6 months ago
2006
IEEE
With the rapid evolution of mobile and ubiquitous computing, small-scale devices like personal digital assistants, smart "converged" phones and laptops now dominate the ...
96
Voted
INFOCOM
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper addresses a fundamental problem in resource management for flow-based hybrid switching systems. Such systems aim at efficient transport of layer-3 connectionless IP traf...
122
click to vote
HYBRID
1997
Springer
15 years 4 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...