7778 search results - page 407 / 1556 » Designing Controllers for Reachability |
176
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Supporting a multimode mobile device to seamlessly switch its connections between various wireless access networks, such as WiMAX, Wi-Fi, and LTE, is an important research issue...
150
Voted
AAAI
1998
15 years 7 months ago
1998
The Interchamber Monitoring and Control (IMC) system is semi-autonomous, intelligent software that controls life support systems designed for recycling air in remote space habitat...
172
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Networks-on-Chip (NoC) architectures provide a scalable solution to on-chip communication problem but the bandwidth offered by NoCs can be utilized efficiently only in presence of...
170
click to vote
IEEEPACT
2009
IEEE
16 years 24 days ago
2009
IEEE
In today’s data centers, precisely controlling server power consumption is an essential way to avoid system failures caused by power capacity overload or overheating due to incr...
208
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...