2119 search results - page 78 / 424 » Structure-Preserving Model Reduction |
125
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
Reducing power dissipation is one of the most principle subjects in VLSI design today. Scaling causes subthreshold leakage currents to become a large component of total power diss...
139
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Power optimization is of growing importance for FPGAs in nanometer technologies. Considering dual-Vdd technique, we show that configurable power supply is required to obtain a sat...
151
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
114
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
109
click to vote
ISQED
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— To achieve small delay and low crosstalk for multiple signal nets with capacitive and inductive coupling, we propose in this paper a novel interconnect structure, stagg...