1721 search results - page 5 / 345 » The fundamentals of hybrid systems modelers |
CAV
1997
Springer
14 years 22 days ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
JSCIC
2007
13 years 8 months ago
2007
We present a new preconditioner for the iterative solution of linear systems of equations arising from discretizations of systems of first order partial differential equations (P...
PRDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Multiserver operating systems have great potential to improve dependability, but, paradoxically, are paired with inherently more complex interprocess communication (IPC). Several ...
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
ICASSP
2011
IEEE
13 years 9 days ago
2011
IEEE
Following the seminal work of Zheng and Tse on the diversity and multiplexing tradeoff (DMT) of MIMO channels, in this paper we introduce the array gain to investigate the fundame...