4693 search results - page 119 / 939 » Verifying Hybrid Systems |
122
click to vote
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The use of hybrid dynamical systems to model gene regulation is impelled by the switch-like behaviour of the latter. Piecewise affine differential equations is one of the...
104
Voted
IJCV
2002
15 years 12 days ago
2002
Abstract. In this paper we present an automatic hybrid matching system mixing images coming from central catadioptric systems and conventional cameras. We analyze three models of h...
100
Voted
HASE
2008
IEEE
15 years 1 months ago
2008
IEEE
110
Voted
ISCA
2008
IEEE
15 years 7 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...
79
Voted
ISCA
2005
IEEE
15 years 6 months ago
2005
IEEE
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...