1901 search results - page 335 / 381 » Predicting Program Properties from |
CONCUR
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
ICCAD
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a dynamic voltage scaling (DVS) technique that minimizes system-wide energy consumption for both periodic and sporadic tasks. It is known that a system consists of proc...
105
click to vote
GCB
2009
Springer
15 years 5 months ago
2009
Springer
: Solving problems in bioinformatics often needs extensive computational power. Current trends in processor architecture, especially massive multi-core processors for graphic cards...
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
— High power dissipation in packet switches and routers is fast turning into a key problem, owing to increasing line speeds and decreasing chip sizes. To address this issue, we i...
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
— We address the problem of scheduling multiple traffic streams associated with target profiles on a shared wireless link, arising in real-time applications with soft/flexible...