4075 search results - page 289 / 815 » Modeling Distributed Algorithm Using B |
198
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
We consider the multiplication of a sparse N × N matrix A with a dense N × N matrix B in the I/O model. We determine the worst-case non-uniform complexity of this task up to a c...
149
Voted
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Thermal design in sub-100nm technologies is one of the major challenges to the CAD community. In this paper, we first introduce the idea of temperature-aware design. We then propo...
176
click to vote
FPGA
2005
ACM
16 years 6 days ago
2005
ACM
Vdd-programmable FPGAs have been proposed recently to reduce FPGA power, where Vdd levels can be customized for different circuit elements and unused circuit elements can be powe...
169
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
We present an efficient and accurate gate sizing tool that employs a novel piecewise convex delay model, handling both rise and fall delays, for static CMOS gates. The delay model...
173
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
This paper concerns the problem of agent trust in an electronic market place. We maintain that agent trust involves making decisions under uncertainty and therefore the phenomenon...