221 search results - page 13 / 45 » Modeling Interconnect Variability Using Efficient Parametric... |
110
click to vote
TSE
2002
15 years 2 months ago
2002
CASE (Computer Aided Software Engineering) tools are believed to have played a critical role in improving software productivity and quality by assisting tasks in software developme...
100
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
The use of motor primitives for the generation of complex movements is a relatively new and interesting idea for dimensionality reduction in robot control. We propose a framework ...
146
Voted
ASPDAC
2010
ACM
15 years 14 days ago
2010
ACM
In this paper, we present a new voltage IR drop analysis approach for large on-chip power delivery networks. The new approach is based on recently proposed sampling based reductio...
127
click to vote
JMLR
2010
14 years 9 months ago
2010
There is a growing interest in building probabilistic models with high order potentials (HOPs), or interactions, among discrete variables. Message passing inference in such models...