6300 search results - page 942 / 1260 » We have it easy, but do we have it right |
130
click to vote
TSE
2010
14 years 8 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
128
Voted
CGO
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
153
Voted
HPCA
2011
IEEE
14 years 5 months ago
2011
IEEE
Contention management is an important design component to a transactional memory system. Without effective contention management to ensure forward progress, a transactional memory...
112
click to vote
ICASSP
2011
IEEE
2011
IEEE
An evaluation of noise power spectral density estimation algorithms in adverse acoustic environments
14 years 5 months ago
Noise power spectral density estimation is an important component of speech enhancement systems due to its considerable effect on the quality and the intelligibility of the enhanc...
142
Voted
AIPS
2011
14 years 5 months ago
2011
Research in efficient methods for solving infinite-horizon MDPs has so far concentrated primarily on discounted MDPs and the more general stochastic shortest path problems (SSPs...