10891 search results - page 58 / 2179 » Combining Model Reductions |
100
click to vote
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
An efficient model-order reduction technique for general RLC networks is proposed. The method is extended from the previous projection-base moment matching method with considerin...
100
click to vote
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
— Clock meshes posses inherent low clock skews and excellent immunity to PVT variations, and have increasingly found their way to high-performance IC designs. However, analysis o...
102
click to vote
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present a tracking framework for capturing articulated human motions in real-time, without the need for attaching markers onto the subject's body. This is a...
103
click to vote
KBSE
2000
IEEE
15 years 2 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...