5470 search results - page 37 / 1094 » Distributed Control Lab |
SSS
2009
Springer
15 years 8 months ago
2009
Springer
119
click to vote
RP
2009
Springer
15 years 6 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
115
click to vote
ISPA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Many context-aware systems have been demonstrated in lab environments; however, due to some difficulties such as the scalability and privacy issues, they are not yet prac...
127
Voted
RTSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...