4693 search results - page 800 / 939 » Verifying Hybrid Systems |
102
click to vote
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
92
Voted
DSD
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we present an efficient hardware architecture for real-time implementation of quarter-pixel accurate variable block size motion estimation for H.264 / MPEG4 Part 10...
112
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— To enable real-time and robust message delivery, the highly mobile Vehicular Ad Hoc Networks (VANETs) call for comprehensive investigation on the dynamic power control effects ...
99
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper we describe a time-based admission control scheme for Multimedia over IP services in wireless LANs based on the IEEE 802.11e standard. We build on an existing wor...
102
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
—Most of the current 802.11b research activities are conducted under stationary environment. As the need for highspeed connectivity in mobile environments increases, it becomes n...