10159 search results - page 667 / 2032 » System Design Validation Using Formal Models |
193
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes the use of microprocessor performance counters for online measurement of complete system power consumption. While past studies have demonstrated the use of per...
173
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
197
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
186
click to vote
ERSHOV
2003
Springer
16 years 19 days ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
183
click to vote
CALCO
2005
Springer
16 years 29 days ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...