12981 search results - page 2457 / 2597 » Model Checking and Abstraction |
106
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Transporting video over wireless networks has twofold constraints. Not only should it satisfy delay requirements but power minimization and QoS issues should be handled...
123
click to vote
BROADNETS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—To reap the benefits of advances in wireless technologies as well as provide backward compatibility with current investments, future wireless routers that constitute th...
114
click to vote
IEEEARES
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
102
click to vote
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In robot teleoperation scenarios, the interface between the user and the robot is undoubtedly of high importance. In this paper, electromyographic (EMG) signals from mu...
102
click to vote
ISCA
2007
IEEE
15 years 7 months ago
2007
IEEE
ACE analysis is a technique to provide an early reliability estimate for microprocessors. ACE analysis couples data from performance models with low level design details to identi...