646 search results - page 89 / 130 » Hybrid decision diagrams |
APVIS
2006
13 years 10 months ago
2006
The goal of this short form paper is to introduce ideas in contemporary visualization that use hand generated methods to engage the imagination of the author and audience to enhan...
FORTE
2004
13 years 10 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given...
ENTCS
2006
13 years 8 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
ENTCS
2007
13 years 8 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...