2119 search results - page 265 / 424 » Structure-Preserving Model Reduction |
110
Voted
ICS
2010
Tsinghua U.
16 years 5 days ago
2010
Tsinghua U.
: We study the design of mechanisms in combinatorial auction domains. We focus on settings where the auction is repeated, motivated by auctions for licenses or advertising space. W...
104
Voted
ICCD
2004
IEEE
15 years 11 months ago
2004
IEEE
Increasing system complexity and test cost demands new system-level solutions for mixed-signal systems. In this paper, we present a testability analysis and DfT insertion methodol...
123
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
The existing work on via-stapling in 3D integrated circuits optimizes power and thermal integrity separately and uses steadystate thermal analysis. This paper presents the first ...
110
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Body sensor networks are emerging as a promising platform for healthcare monitoring. These systems are composed of battery-operated embedded devices which process physiological ...
109
Voted
SP
2009
IEEE
15 years 9 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...