4586 search results - page 487 / 918 » Computing stable models in parallel |
148
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
206
click to vote
JMLR
2011
15 years 1 months ago
2011
We consider the problem of improving the Gaussian approximate posterior marginals computed by expectation propagation and the Laplace method in latent Gaussian models and propose ...
163
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In order to efficiently use Grid resources, users or middlewares must use some network information, and in particular some knowledge of the platform network. As such kn...
176
click to vote
HPCA
2007
IEEE
16 years 7 months ago
2007
IEEE
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...
177
click to vote
FCCM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Single-FPGA spatial implementations can provide an order of magnitude speedup over sequential microprocessor implementations for data-parallel, floating-point computation in SP...