2550 search results - page 168 / 510 » Difference Decision Diagrams |
168
click to vote
DSN
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper, we present a parallel implementation for the steady-state analysis of continuous-time Markov chains (CTMCs). This analysis is performed via solution of a linear equ...
143
click to vote
ATAL
2005
Springer
16 years 12 hour ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
238
click to vote
CHARME
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
175
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
186
click to vote
DAC
2004
ACM
15 years 12 months ago
2004
ACM
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...