28962 search results - page 5423 / 5793 » Computational Mechanism Design |
177
click to vote
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
188
click to vote
TASLP
2010
15 years 5 months ago
2010
Spherical and cylindrical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound field in ...
174
click to vote
TC
2010
15 years 5 months ago
2010
We consider soft real-time applications organised as pipelines of tasks using resources of different type (communication, computation, storage). The applications are assumed to be...
172
click to vote
TCOM
2010
15 years 5 months ago
2010
—A blind carrier phase derotator can be employed to correct and track carrier phase offset either before or after equalization in a blind adaptive receiver. This work proposes a ...
192
click to vote
TCOM
2010
15 years 5 months ago
2010
—This paper analyzes the quality of service (QoS) of scheduling algorithms for heterogeneous users in multiuser (MU) wireless systems that take advantage from a crosslayer design...