1104 search results - page 130 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
142
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The key performance of many analog circuits is directly related to accurate capacitor ratios. It is well known that capacitor ratio precision is greatly enhanced by paralleling id...
122
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
128
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
132
click to vote
WSC
2000
15 years 5 months ago
2000
One use of simulation is to inform decision makers that seek to select the best of several alternative systems. The system with the highest (or lowest) mean value for simulation o...
168
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...