Sciweavers

3856 search results - page 25 / 772

» Models for Automated Earthmoving

28

DAC
2001
ACM

128views Computer Architecture» more DAC 2001»

Dependency Preserving Probabilistic Modeling of Switching Activity using Bayesian Networks

14 years 10 months ago

Dependency Preserving Probabilistic Modeling of Switching Activity using Bayesian Networks

Download www.eng.usf.edu

Sanjukta Bhanja, N. Ranganathan

claim paper

Read More »

27

DAC
2000
ACM

116views Computer Architecture» more DAC 2000»

Critical path analysis using a dynamically bounded delay model

14 years 10 months ago

Critical path analysis using a dynamically bounded delay model

Download www.cs.tufts.edu

Soha Hassoun

claim paper

Read More »

30

DAC
2001
ACM

105views Computer Architecture» more DAC 2001»

Fast Power/Ground Network Optimization Based on Equivalent Circuit Modeling

14 years 10 months ago

Fast Power/Ground Network Optimization Based on Equivalent Circuit Modeling

Download www.ee.ucr.edu

Sheldon X.-D. Tan, C.-J. Richard Shi

claim paper

Read More »

24

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

14 years 10 months ago

Can BDDs compete with SAT solvers on bounded model checking?

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

23

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic abstraction and verification of verilog models

14 years 10 months ago

Automatic abstraction and verification of verilog models

Download www.eecs.umich.edu

Zaher S. Andraus, Karem A. Sakallah

claim paper

Read More »

« Prev « First page 25 / 772 Last » Next »