3820 search results - page 623 / 764 » Bounded Model Debugging |
111
click to vote
MMSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We propose a model-based spatial layer bit allocation algorithm for H.264/SVC in this work. The spatial scalability of H.264/SVC is achieved by a multi-layer approach, w...
124
click to vote
PIMRC
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper considers the performance of the MAC protocols ALOHA and CSMA in wireless ad hoc networks, where the total system bandwidth may be divided into smaller subbands. In t...
106
click to vote
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
115
click to vote
WCNC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We tackle the problem of providing minimum datarate guarantees for different classes-of-service in an OFDMAbased network, while obtaining a high system throughput. Our a...
117
click to vote
ADHOCNOW
2008
Springer
15 years 8 months ago
2008
Springer
We study two algorithmical problems inspired from routing constraints in a multihop synchronous radio network. Our objective is to satisfy a given set of communication requests in ...