Search Sciweavers | Sciweavers

2488 search results - page 73 / 498

» An improvement in formal verification

130

click to vote

PASTE
1999
ACM

100views Software Engineering» more PASTE 1999»

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification

15 years 10 months ago

Download www.cs.umass.edu

Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...

claim paper

Read More »

107

click to vote

DATE
2004
IEEE

129views Hardware» more DATE 2004»

Improving Design and Verification Productivity with VHDL-200x

15 years 10 months ago

Download www.cs.york.ac.uk

Stephen Bailey, Erich Marschner, Jayaram Bhasker, ...

claim paper

Read More »

132

click to vote

ATS
2001
IEEE

74views Hardware» more ATS 2001»

An Improved AVPG Algorithm for SoC Design Verification Using Port Order Fault Model

15 years 10 months ago

Download nthucad.cs.nthu.edu.tw

Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou

claim paper

Read More »

117

click to vote

FORTE
2007

100views Formal Methods» more FORTE 2007»

Improvements for the Symbolic Verification of Timed Automata

15 years 7 months ago

Download www-verimag.imag.fr

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan...

claim paper

Read More »

141

click to vote

SECRYPT
2008

222views Business» more SECRYPT 2008»

Improved Fuzzy Vault Scheme for Fingerprint Verification

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers