Sciweavers

2550 search results - page 25 / 510

» Difference Decision Diagrams

118

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

15 years 9 months ago

Binary decision diagrams and beyond: enabling technologies for formal verification

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

115

ICCD
1991
IEEE

87views Hardware» more ICCD 1991»

Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams

15 years 9 months ago

Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams

Download computing.ece.vt.edu

Pranav Ashar, Abhijit Ghosh, Srinivas Devadas

claim paper

Read More »

187

AWPN
2008

238views Algorithms» more AWPN 2008»

Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams

15 years 7 months ago

Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams

Download ftp.informatik.rwth-aachen.de

Martin Schwarick

claim paper

Read More »

154

FORTE
2003

105views Formal Methods» more FORTE 2003»

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

15 years 7 months ago

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

Download mtc.epfl.ch

Dirk Beyer, Andreas Noack

claim paper

Read More »

83

IEICET
2007

63views more IEICET 2007»

XML Framework for Various Types of Decision Diagrams for Discrete Functions

15 years 6 months ago

XML Framework for Various Types of Decision Diagrams for Discrete Functions

Download www.stane-island.net

Stanislav Stankovic, Jaakko Astola

claim paper

Read More »

« Prev « First page 25 / 510 Last » Next »