43264 search results - page 270 / 8653 » Comparing models of computation |
128
Voted
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
In the past few years, a number of practical video coding schemes following distributed source coding principles have emerged. One of the main goals of distributed video coding (D...
115
click to vote
HIPEAC
2010
Springer
16 years 1 months 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 ...
131
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
115
click to vote
IRI
2008
IEEE
15 years 10 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
114
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— One of the main concerns in ultra wide band (UWB) impulse radio (IR) technology is the presence of severe multiple access interference (MAI). Efficient receivers should theref...