4228 search results - page 586 / 846 » Models and Methods in Comparative Genomics |
160
Voted
SPIN
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
150
Voted
HPCA
2008
IEEE
16 years 17 days ago
2008
IEEE
Real-world workloads rarely saturate multi-core processor. CPU C-states can be used to reduce power consumption during processor idle time. The key unsolved problem is: when and h...
147
Voted
ICASSP
2008
IEEE
16 years 16 days ago
2008
IEEE
Recently, a novel and structural representation of speech was proposed [1, 2], where the inevitable acoustic variations caused by nonlinguistic factors are effectively removed fro...
156
click to vote
ICCCN
2008
IEEE
16 years 16 days ago
2008
IEEE
— We discuss the effect of physical impairments on manycasting service over optical burst-switched (OBS) networks. Signal quality degradation in manycast networks is an important...
159
click to vote
HICSS
2007
IEEE
16 years 13 days ago
2007
IEEE
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...