501 search results - page 21 / 101 » Diagram Techniques for Confluence |
121
Voted
SAFECOMP
2005
Springer
15 years 7 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
101
Voted
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
113
click to vote
ISMVL
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes new metrics for the data structure referred to as quantum multiple-valued decision diagrams (QMDD) which are used to represent the matrices describing reversi...
ERSHOV
2001
Springer
15 years 6 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
79
Voted
CORR
2002
Springer
15 years 1 months ago
2002
Springer
-- This paper introduces a novel method for synthesizing digital circuits derived from Binary Decision Diagrams (BDDs) that can yield to reduction in power dissipation. The power r...