2922 search results - page 153 / 585 » Scalable Algorithms for Distribution Search |
136
click to vote
MEMOCODE
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
149
click to vote
FGCS
2006
15 years 3 months ago
2006
We consider a model where commodity service providers are offering commodity computational services to a set of customers. We provide a solution for the efficient distribution of ...
169
click to vote
ICPP
2005
IEEE
15 years 9 months ago
2005
IEEE
Consider a heterogeneous cluster system, consisting of processors with varying processing capabilities and network links with varying bandwidths. Given a DAG application to be sch...
140
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Templates in web sites hurt search engine retrieval performance, especially in content relevance and link analysis. Current template removal methods suffer from processing speed ...
152
click to vote
TSE
2010
14 years 10 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...