46 search results - page 9 / 10 » Cycle-based Simulation with Decision Diagrams |
DAC
1997
ACM
14 years 2 months ago
1997
ACM
Binary Decision Diagrams BDDs are e cient at manipulating large sets in a compact manner. BDDs, however, are inefcient at utilizing the memory hierarchy of the computer. Recent ...
ITS
2000
Springer
14 years 1 months ago
2000
Springer
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
DEDS
2000
13 years 9 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
DFG
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
HASE
1998
IEEE
14 years 2 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...