Search Sciweavers | Sciweavers

3991 search results - page 63 / 799

» Bounding homogeneous models

149

click to vote

DAC
2000
ACM

116views Computer Architecture» more DAC 2000»

Critical path analysis using a dynamically bounded delay model

16 years 7 months ago

Download www.cs.tufts.edu

Soha Hassoun

claim paper

Read More »

134

click to vote

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

16 years 7 months ago

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

117

click to vote

ICCAD
2006
IEEE

111views Hardware» more ICCAD 2006»

Accelerating high-level bounded model checking

16 years 3 months ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta

claim paper

Read More »

128

click to vote

IPPS
2008
IEEE

180views Distributed And Parallel Com...» more IPPS 2008»

Analytic performance models for bounded queueing systems

16 years 23 days ago

Download www.ccrc.wustl.edu

Praveen Krishnamurthy, Roger D. Chamberlain

claim paper

Read More »

142

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers