21430 search results - page 20 / 4286 » Abstract Effective Models |
IJSEKE
2002
14 years 9 months ago
2002
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...
ICRE
1998
IEEE
15 years 2 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
66
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives prel...
92
Voted
ASPDAC
2009
ACM
15 years 2 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
77
Voted
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...