10870 search results - page 1976 / 2174 » Model Checking Programs |
110
click to vote
ISVLSI
2008
IEEE
15 years 8 months ago
2008
IEEE
In nanometer regime, the effects of process variations are dominating circuit performance, power and reliability of circuits. Hence, it is important to properly manage variation e...
120
click to vote
ISVLSI
2008
IEEE
15 years 8 months ago
2008
IEEE
Scalability of architecture, programming model and task control management will be a major challenge for future VLSI systems. In this context, homogeneous MPSOC is a seducing appr...
96
Voted
NOMS
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
109
Voted
WCNC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We tackle the problem of providing minimum datarate guarantees for different classes-of-service in an OFDMAbased network, while obtaining a high system throughput. Our a...
111
click to vote
ASAP
2007
IEEE
15 years 8 months ago
2007
IEEE
Entropy encoding and decoding is a crucial part of any multimedia system that can be highly demanding in terms of computing power. Hardware implementation of typical compression a...