845 search results - page 126 / 169 » Connecting Many-Sorted Theories |
113
click to vote
SLIP
2009
ACM
15 years 6 months ago
2009
ACM
Individual dies in 3D integrated circuits are connected using throughsilicon-vias (TSVs). TSVs not only increase manufacturing cost, but also incur silicon area, delay, and power ...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
We develop a novel localization theory for planar networks of nodes that measure each other’s relative position, i.e., we assume that nodes do not have the ability to perform me...
125
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
109
click to vote
FOCS
2008
IEEE
15 years 6 months ago
2008
IEEE
The central problem in computational mechanism design is the tension between incentive compatibility and computational ef ciency. We establish the rst significant approximability ...
AINA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Quality of Service (QoS) of disadvantaged networks is usually considered from a purely network standpoint in existing works. Adversarial intervention in such networks is not an...