4228 search results - page 586 / 846 » Models and Methods in Comparative Genomics |
194
click to vote
SPIN
2009
Springer
16 years 1 months 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’...
184
click to vote
HPCA
2008
IEEE
16 years 1 months 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...
181
click to vote
ICASSP
2008
IEEE
16 years 1 months 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...
197
click to vote
ICCCN
2008
IEEE
16 years 1 months 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...
186
click to vote
HICSS
2007
IEEE
16 years 1 months 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...