1127 search results - page 186 / 226 » Theory Extension in ACL2(r) |
164
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—This research considers network coded broadcast system with multi-rate transmission and dual queue stability constraints. Existing network coded broadcast systems consider singl...
196
click to vote
JACM
2010
15 years 4 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
180
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
—Thermal control is crucial to real-time systems as excessive processor temperature can cause system failure or unacceptable performance degradation due to hardware throttling. R...
161
click to vote
TPDS
2010
15 years 4 months ago
2010
—Power control is becoming a key challenge for effectively operating a modern data center. In addition to reducing operating costs, precisely controlling power consumption is an ...
179
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
Barrier coverage is a critical issue in wireless sensor networks for various battlefield and homeland security applications. The goal is to effectively detect intruders that attem...