5015 search results - page 620 / 1003 » Model Checking a Path |
166
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Robots acting in populated environments must be capable of safe but also time efficient navigation. Trying to completely avoid regions resulting from worst case predictions of...
146
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
We study the interaction among users of unstructured file sharing applications, who compete for available network resources (link bandwidth or capacity) by opening multiple conne...
165
click to vote
MSWIM
2006
ACM
16 years 23 days ago
2006
ACM
To provide high quality service to future Internet applications, IPv6 performance measurements are needed. However, to the best of our knowledge, IPv6 delay and loss performance e...
203
click to vote
DCOSS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract— Wireless sensor networks are useful for monitoring physical parameters and detecting objects or substances in an area. Most ongoing research consider the use of either ...
184
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Dynamic power consumed in CMOS gates goes down quadratically with the supply voltage. By maintaining a high supply voltage for gates on the critical path and by using a low supply...