Sciweavers

3914 search results - page 29 / 783

» Automating SLA modeling

22

DAC
2001
ACM

105views Computer Architecture» more DAC 2001»

Fast Power/Ground Network Optimization Based on Equivalent Circuit Modeling

14 years 8 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 »

21

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

14 years 8 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 »

21

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic abstraction and verification of verilog models

14 years 8 months ago

Automatic abstraction and verification of verilog models

Download www.eecs.umich.edu

Zaher S. Andraus, Karem A. Sakallah

claim paper

Read More »

48

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

14 years 8 months ago

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

31

CADE
2006
Springer

192views Logical Reasoning» more CADE 2006»

Formal Global Optimisation with Taylor Models

14 years 8 months ago

Formal Global Optimisation with Taylor Models

Download www.nianet.org

Roland Zumkeller

claim paper

Read More »

« Prev « First page 29 / 783 Last » Next »