4693 search results - page 32 / 939 » Verifying Hybrid Systems |
75
Voted
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
143
Voted
JNCA
2007
15 years 11 days ago
2007
The process of monitoring the events occurring in a computer system or network and analyzing them for sign of intrusions is known as intrusion detection system (IDS). This paper p...
86
Voted
IJCSA
2006
15 years 14 days ago
2006
Application of hybrid recommendation enables overcoming disadvantages of the basic recommendation methods: demographic, collaborative and content-based. In this paper the two cons...
112
click to vote
ICECCS
2010
IEEE
15 years 20 days ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
MCSS
2006
Springer
15 years 13 days ago
2006
Springer
In this work characterizations of the notion of non-uniform in time robust global asymptotic output stability for hybrid systems with disturbances are given. Based on the provided ...