882 search results - page 150 / 177 » Local Search for Very Large SAT Problems |
129
Voted
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
Resource discovery in a Grid environment is a critical problem, as a typical Grid system includes a very large number of resources, which must be readily identified and accessed ...
127
Voted
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
In on-demand multi-hop routing protocols for MANETs such as DSR and AODV, a fundamental requirement for peer-to-peer connectivity is to discover routes to a remote node via flood...
112
Voted
SPAA
2003
ACM
15 years 9 months ago
2003
ACM
We develop an algorithm for parallel disk sorting, whose I/O cost approaches the lower bound and that guarantees almost perfect overlap between I/O and computation. Previous algor...
161
Voted
ICDM
2002
IEEE
15 years 8 months ago
2002
IEEE
Over the years, a variety of algorithms for finding frequent sequential patterns in very large sequential databases have been developed. The key feature in most of these algorith...
112
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...