2550 search results - page 85 / 510 » Difference Decision Diagrams |
197
click to vote
FMSD
2007
15 years 6 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
132
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
161
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this chapter, we propose a new practical codification of the elements of the Venn diagram in order to easily manipulate the focal elements. In order to reduce the complexity, t...
127
click to vote
HICSS
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— Smartocracy is a social software system for collective decision making. The system is composed of a social network that links individuals to those they trust to make go...