10870 search results - page 2069 / 2174 » Model Checking Programs |
TVLSI
2010
13 years 4 months ago
2010
With the shrinking of technology feature sizes, the share of leakage in total power consumption of digital systems continues to grow. Traditional dynamic voltage scaling (DVS) fail...
CGO
2011
IEEE
13 years 2 months ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Searching for and making decisions about information is becoming increasingly difficult as the amount of information and number of choices increases. Recommendation systems help ...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Being able to detect and recognize human activities is important for making personal assistant robots useful in performing assistive tasks. The challenge is to develop a system th...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Random binary matrices have found many applications in signal processing and coding. Rateless codes, for example, are based on the random generation of codewords by means of inner...