1132 search results - page 89 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
172
click to vote
FOCS
2008
IEEE
16 years 26 days ago
2008
IEEE
Relational joins are at the core of relational algebra, which in turn is the core of the standard database query language SQL. As their evaluation is expensive and very often domi...
169
click to vote
SIGMETRICS
2005
ACM
15 years 12 months ago
2005
ACM
We define the class of SMART scheduling policies. These are policies that bias towards jobs with small remaining service times, jobs with small original sizes, or both, with the ...
145
click to vote
MMS
1998
15 years 6 months ago
1998
In packet audio applications, packets are buffered at a receiving site and their playout delayed in order to compensate for variable network delays. In this paper, we consider the ...
181
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The outage probability limit is a fundamental and achievable lower bound on the word error rate of coded communication systems affected by fading. This limit is mainly determined ...
152
click to vote
CSL
2007
Springer
16 years 17 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...