1782 search results - page 281 / 357 » Dynamics based control with PSRs |
MOBICOM
2010
ACM
13 years 9 months ago
2010
ACM
Femtocell technology has been drawing considerable attention as a cost-effective means of improving cellular coverage and capacity. However, under co-channel deployment, femtocell...
ICCAD
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...
WMASH
2003
ACM
14 years 2 months ago
2003
ACM
Next generation Wireless Local Area Networks (WLAN’s) are likely to require multihop wireless connections between mobile nodes and Internet gateways to achieve high data rates f...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collec...