10051 search results - page 26 / 2011 » A Dynamic Separator Algorithm |
100
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
? In this paper we propose an adaptive scheduling and voltage/frequency selection algorithm which targets at energy harvesting systems. The proposed algorithm adjusts the processor...
110
click to vote
CIBCB
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of memetic algori...
113
Voted
WADS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Algorithms dealing with massive data sets are usually designed for I/O-efficiency, often captured by the I/O model by Aggarwal and Vitter. Another aspect of dealing with ...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Classically, an approach to the multiagent policy learning supposed that the agents, via interactions and/or by using preliminary knowledge about the reward functions of all playe...
90
Voted
FAC
2010
14 years 9 months ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...