Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2488
search results - page 73 / 498
»
An improvement in formal verification
Sort
relevance
views
votes
recent
update
View
thumb
title
23
click to vote
PASTE
1999
ACM
100
views
Software Engineering
»
more
PASTE 1999
»
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification
14 years 2 months ago
Download
www.cs.umass.edu
Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...
claim paper
Read More »
21
click to vote
DATE
2004
IEEE
129
views
Hardware
»
more
DATE 2004
»
Improving Design and Verification Productivity with VHDL-200x
14 years 1 months ago
Download
www.cs.york.ac.uk
Stephen Bailey, Erich Marschner, Jayaram Bhasker, ...
claim paper
Read More »
22
click to vote
ATS
2001
IEEE
74
views
Hardware
»
more
ATS 2001
»
An Improved AVPG Algorithm for SoC Design Verification Using Port Order Fault Model
14 years 1 months ago
Download
nthucad.cs.nthu.edu.tw
Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou
claim paper
Read More »
18
click to vote
FORTE
2007
100
views
Formal Methods
»
more
FORTE 2007
»
Improvements for the Symbolic Verification of Timed Automata
13 years 11 months ago
Download
www-verimag.imag.fr
Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan...
claim paper
Read More »
35
click to vote
SECRYPT
2008
222
views
Business
»
more
SECRYPT 2008
»
Improved Fuzzy Vault Scheme for Fingerprint Verification
13 years 11 months ago
Download
research.sabanciuniv.edu
Cengiz Örencik, Thomas Brochmann Pedersen, Er...
claim paper
Read More »
« Prev
« First
page 73 / 498
Last »
Next »