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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2550
search results - page 25 / 510
»
Difference Decision Diagrams
Sort
relevance
views
votes
recent
update
View
thumb
title
118
click to vote
ICCAD
1995
IEEE
69
views
Hardware
»
more
ICCAD 1995
»
Binary decision diagrams and beyond: enabling technologies for formal verification
15 years 9 months ago
Download
www.cs.cmu.edu
Randal E. Bryant
claim paper
Read More »
115
click to vote
ICCD
1991
IEEE
87
views
Hardware
»
more
ICCD 1991
»
Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams
15 years 9 months ago
Download
computing.ece.vt.edu
Pranav Ashar, Abhijit Ghosh, Srinivas Devadas
claim paper
Read More »
187
click to vote
AWPN
2008
238
views
Algorithms
»
more
AWPN 2008
»
Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams
15 years 7 months ago
Download
ftp.informatik.rwth-aachen.de
Martin Schwarick
claim paper
Read More »
154
click to vote
FORTE
2003
105
views
Formal Methods
»
more
FORTE 2003
»
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
15 years 7 months ago
Download
mtc.epfl.ch
Dirk Beyer, Andreas Noack
claim paper
Read More »
83
click to vote
IEICET
2007
63
views
more
IEICET 2007
»
XML Framework for Various Types of Decision Diagrams for Discrete Functions
15 years 6 months ago
Download
www.stane-island.net
Stanislav Stankovic, Jaakko Astola
claim paper
Read More »
« Prev
« First
page 25 / 510
Last »
Next »