97 search results - page 8 / 20 » icalp 2009 |
105
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper we address a common question in wireless communication: How long does it take to satisfy an arbitrary set of wireless communication requests? This problem i...
121
Voted
ICALP
2009
Springer
15 years 8 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
142
Voted
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
Refereed conferences require every submission to be reviewed by members of a program committee (PC) in charge of selecting the conference program. There are many software packages...
129
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
114
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...