882 search results - page 108 / 177 » Local Search for Very Large SAT Problems |
135
click to vote
JCP
2008
15 years 4 months ago
2008
Embedded systems have an ever-increasing need for optimizing compilers to produce high quality codes with a limited general purpose register set. Either memory or registers are use...
132
click to vote
JBI
2002
15 years 3 months ago
2002
Information extraction is the process of scanning text for information relevant to some interest, including extracting entities, relations, and events. It requires deeper analysis...
129
click to vote
HPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper defines and describes a fully distributed implementation of Google’s highly effective Pagerank algorithm, for “peer to peer”(P2P) systems. The implementation is ...
109
click to vote
ICDM
2009
IEEE
15 years 10 months ago
2009
IEEE
Correlated motif mining (CMM) is the problem to find overrepresented pairs of patterns, called motif pairs, in interacting protein sequences. Algorithmic solutions for CMM thereb...
159
click to vote
OPODIS
2007
15 years 5 months ago
2007
This report describes a necessary and sufficient test for the schedulability of a set of sporadic harddeadline tasks on a multiprocessor platform, using any of a variety of schedu...