3823 search results - page 193 / 765 » Stability of Hybrid Systems |
161
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
A new method, namely the Parallel Two-Level Hybrid (PTH) method, is developed to solve tridiagonal systems on parallel computers. PTH is designed based on Parallel Diagonal Domina...
151
click to vote
TWC
2008
15 years 6 months ago
2008
This letter proposes a hybrid decision-feedback equalizer (HDFE) for DS-CDMA systems. The proposed HDFE is carried out in two stages to improve the accuracy of the feedback signals...
176
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
171
click to vote
COR
2006
15 years 6 months ago
2006
In this paper we tackle the task assignment problem (TSAP) in heterogeneous computer systems. The TSAP consists of assigning a given distributed computer program formed by a numbe...
166
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...