4693 search results - page 151 / 939 » Verifying Hybrid Systems |
73
Voted
DEDS
1998
15 years 21 days ago
1998
We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consi...
107
click to vote
MASCOTS
2010
14 years 11 months ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
115
Voted
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
Society has grown to rely on Internet services, and the number of Internet users increases every day. As more and more users become connected to the network, the window of opportu...
110
click to vote
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
107
click to vote
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Energy reduction is critical to increase the mobility and to extend the mission period in the development of today’s pervasive computing systems. On the other hand, however, ene...