1497 search results - page 251 / 300 » Extended static checking |
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
Traditional background modeling and subtraction methods have a strong assumption that the scenes are of static structures with limited perturbation. These methods will perform poo...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— A distributed control law that guarantees connectivity maintenance in a network of multiple mobile agents is presented. The control law respects the limited sensing cap...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
RTCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes, which consider the negative effects of voltage scaling on system reliability, were recently studied to save energy while preserv...
ANSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Data propagation in wireless sensor networks is usually performed as a multihop process. To deliver a single message, the resources of many sensor nodes are used and a lot of ener...