Search Sciweavers | Sciweavers

3856 search results - page 62 / 772

» Models for Automated Earthmoving

click to vote

ISSTA
2006
ACM

158views Software Engineering» more ISSTA 2006»

Application of automated environment generation to commercial software

14 years 3 months ago

Download www.flacp.fujitsulabs.com

Model checking can be an eﬀective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...

Oksana Tkachuk, Sreeranga P. Rajan

claim paper

Read More »

click to vote

DAC
1998
ACM

103views Computer Architecture» more DAC 1998»

Incremental CTL Model Checking Using BDD Subsetting

14 years 11 months ago

Download reference.kfupm.edu.sa

Abelardo Pardo, Gary D. Hachtel

claim paper

Read More »

click to vote

DAC
2002
ACM

103views Computer Architecture» more DAC 2002»

Challenges and opportunities in electronic textiles modeling and optimization

14 years 11 months ago

Download www.ece.cmu.edu

Diana Marculescu, Radu Marculescu, Pradeep K. Khos...

claim paper

Read More »

click to vote

DAC
2005
ACM

117views Computer Architecture» more DAC 2005»

Beyond safety: customized SAT-based model checking

14 years 11 months ago

Download lcs.ios.ac.cn

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

click to vote

ICLP
2009
Springer

118views Automated Reasoning» more ICLP 2009»

Debugging for Model Expansion

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers