1730 search results - page 136 / 346 » Computer Aided Design Modeling for Heterogeneous Objects |
GLOBECOM
2008
IEEE
14 years 10 months ago
2008
IEEE
This paper deals with a category of concavifiable functions that can be used to model inelastic traffic in the network. Such class of functions can be concavified within an interva...
DAC
2005
ACM
14 years 12 months ago
2005
ACM
In this paper, we analyze the effect of jitter in track and hold circuits. The output spectrum is obtained in terms of the system function of the track and hold. It is a fairly g...
104
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
DAC
2007
ACM
15 years 11 months ago
2007
ACM
Emerging single-chip heterogeneous multiprocessors feature hundreds of design elements contending for shared resources, making it difficult to isolate performance impacts of indiv...