3387 search results - page 584 / 678 » Model-Checking for Real-Time Systems |
RTCSA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Although energy-efficient real-time task scheduling has attracted a lot of attention in the past decade, most existing results assumed deterministic execution lengths f...
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Opportunistic communication allows humans equipped with mobile devices to exchange information via a wireless link whenever they are nearby. This work examines the performance ...
AIPR
2008
IEEE
14 years 3 months ago
2008
IEEE
—Real time moving target tracking and identification with hyperspectral imagery is still very challenging with conventional sensors and algorithms. The increased information cont...
CIMCA
2008
IEEE
14 years 3 months ago
2008
IEEE
The explosive growth of Internet during the last years has been reflected in the ever-increasing amount of the diversity and heterogeneity of user preferences, types and features ...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Large- and small-scale storage systems frequently serve a mixture of workloads, an increasing number of which require some form of performance guarantee. Providing guaranteed disk...