5232 search results - page 19 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
CAV
1990
Springer
13 years 11 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
ISSTA
1998
ACM
13 years 11 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
FORMATS
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
PTS
2007
13 years 9 months ago
2007
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
FDL
2008
IEEE
14 years 1 months ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...