2713 search results - page 162 / 543 » Parameterized Tree Systems |
137
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
—The paper addresses the problem of massive content distribution in the network where multiple sessions coexist. In the traditional approaches, the sessions form separate overlay...
134
click to vote
TMC
2002
15 years 3 months ago
2002
The use of OVSF codes in WCDMA systems has offered opportunities to provide variable data rates to flexibly support applications with different bandwidth requirements. Two importan...
144
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
109
click to vote
HIPEAC
2010
Springer
16 years 24 days ago
2010
Springer
We address the problem of performance and power-efficient thread allocation in a CMP. To that end, based on analytical model, we introduce a parameterized performance/power metric ...
102
click to vote
ISVC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Having assessed the performance gains due to evidence fusion, previous works reported contradictory conclusions. For some, a consistent improvement is achieved, while oth...