461 search results - page 35 / 93 » Bounds for Validation |
RTSS
2006
IEEE
14 years 5 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
ECOOPW
1999
Springer
14 years 3 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
PVLDB
2010
13 years 9 months ago
2010
We introduce the proximity rank join problem, where we are given a set of relations whose tuples are equipped with a score and a real-valued feature vector. Given a target feature...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
Received signal strength (RSS) based source localization papers often ignore the practical effects of range limits in the measurements. In many devices, this results in some senso...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
This paper presents a detailed sum rate investigation of Zero-Forcing (ZF) detectors over composite multiple-input multiple-output (MIMO) channels. To this end, we consider the ge...