8232 search results - page 1401 / 1647 » Dynamic Logic Programming |
242
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Extreme technology integration in the sub-micron regime comes with a rapid rise in heat dissipation and power density for modern processors. Dynamic voltage scaling is a widely us...
175
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
149
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
With increasing time-to-market pressure and shortening semiconductor product cycles, more and more chips are being designed with library-based methodologies. In spite of this shif...
181
Voted
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Because data races represent a hard-to-manage class of errors in concurrent programs, numerous approaches to detect them have been proposed and evaluated. We specifically consider...
177
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
mRNA molecules are folded in the cells and therefore many of their substrings may actually be inaccessible to protein and microRNA binding. The need to apply an accessability crite...