2550 search results - page 168 / 510 » Difference Decision Diagrams |
187
Voted
DSN
2005
IEEE
16 years 20 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...
167
Voted
ATAL
2005
Springer
16 years 18 days 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 ...
258
Voted
CHARME
2005
Springer
16 years 17 days 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...
199
Voted
ASPDAC
2004
ACM
16 years 14 days 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...
205
Voted
DAC
2004
ACM
16 years 14 days 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...