2922 search results - page 247 / 585 » Scalable Algorithms for Distribution Search |
181
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
137
click to vote
AAAI
1997
15 years 5 months ago
1997
Cooperative distributed problem solving (CDPS) loosely-coupledagentscan be effectively modeledas a distributed constraint satisfaction problem(DCSP) whereeach agent has multiple l...
122
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
The search for unknown frequent pattern is one of the core activities in many time series data mining processes. In this paper we present an extension of the pattern discovery pro...
137
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Previous studies in speculative prefetching focus on building and evaluating access models for the purpose of access prediction. This paper investigates a complementary area which...
121
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Torus/mesh-based machines have received increasing attention. It is natural to identify the maximum healthy submeshes in a faulty torus/mesh so as to lower potential performance d...