Search Sciweavers | Sciweavers

3856 search results - page 62 / 772

» Models for Automated Earthmoving

119

click to vote

ISSTA
2006
ACM

158views Software Engineering» more ISSTA 2006»

Application of automated environment generation to commercial software

15 years 9 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 »

103

Voted

DAC
1998
ACM

103views Computer Architecture» more DAC 1998»

Incremental CTL Model Checking Using BDD Subsetting

16 years 4 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

16 years 4 months ago

Download www.ece.cmu.edu

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

claim paper

Read More »

113

Voted

DAC
2005
ACM

117views Computer Architecture» more DAC 2005»

Beyond safety: customized SAT-based model checking

16 years 4 months ago

Download lcs.ios.ac.cn

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

177

click to vote

ICLP
2009
Springer

118views Automated Reasoning» more ICLP 2009»

Debugging for Model Expansion

16 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers