Search Sciweavers | Sciweavers

2586 search results - page 14 / 518

» Automatic Abstraction for Congruences

click to vote

ICFEM
2004
Springer

152views Software Engineering» more ICFEM 2004»

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions

14 years 21 days ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

click to vote

SAS
2004
Springer

110views Formal Methods» more SAS 2004»

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

14 years 20 days ago

Download www.lsi.upc.edu

Enric Rodríguez-Carbonell, Deepak Kapur

claim paper

Read More »

click to vote

TSD
2004
Springer

139views Signal Processing» more TSD 2004»

Balancing Manual and Automatic Indexing for Retrieval of Paper Abstracts

14 years 20 days ago

Download www.gelbukh.com

Kwangcheol Shin, Sang-Yong Han, Alexander F. Gelbu...

claim paper

Read More »

click to vote

DATE
2010
IEEE

127views Hardware» more DATE 2010»

Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation

14 years 13 days ago

Download logos.cs.nthu.edu.tw

Meng-Huan Wu, Wen-Chuan Lee, Chen-Yu Chuang, Ren-S...

claim paper

Read More »

click to vote

CAV
2001
Springer

100views Hardware» more CAV 2001»

Automatic Abstraction for Verification of Timed Circuits and Systems

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers