4555 search results - page 304 / 911 » Deductive Algorithmic Knowledge |
186
click to vote
RTSS
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a real-time, Linux-based testbed called LITMUSRT , which we have developed for empirically evaluating multiprocessor real-time scheduling algorithms. We also present th...
156
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Temperature affects not only the reliability but also the performance, power, and cost of the embedded system. This paper proposes a thermal-aware task allocation and scheduling a...
158
click to vote
ICTAI
2005
IEEE
16 years 8 days ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
164
click to vote
WISE
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we describe the semantic partitioner algorithm, that uses the structural and presentation regularities of the Web pages to automatically transform them into hierarchi...
174
click to vote
CINQ
2004
Springer
16 years 2 days ago
2004
Springer
Many researchers in our community (this author included) regularly emphasize the role constraints play in improving performance of data-mining algorithms. This emphasis has led to ...