Search Sciweavers | Sciweavers

3991 search results - page 63 / 799

» Bounding homogeneous models

click to vote

DAC
2000
ACM

116views Computer Architecture» more DAC 2000»

Critical path analysis using a dynamically bounded delay model

14 years 8 months ago

Download www.cs.tufts.edu

Soha Hassoun

claim paper

Read More »

click to vote

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

14 years 8 months ago

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

click to vote

ICCAD
2006
IEEE

111views Hardware» more ICCAD 2006»

Accelerating high-level bounded model checking

14 years 4 months ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta

claim paper

Read More »

click to vote

IPPS
2008
IEEE

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

Analytic performance models for bounded queueing systems

14 years 2 months ago

Download www.ccrc.wustl.edu

Praveen Krishnamurthy, Roger D. Chamberlain

claim paper

Read More »

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers