4555 search results - page 304 / 911 » Deductive Algorithmic Knowledge |
147
click to vote
RTSS
2006
IEEE
15 years 9 months 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...
106
click to vote
DATE
2005
IEEE
15 years 9 months 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...
124
Voted
ICTAI
2005
IEEE
15 years 9 months 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 ...
122
Voted
WISE
2005
Springer
15 years 9 months 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...
127
click to vote
CINQ
2004
Springer
15 years 9 months 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 ...