481 search results - page 50 / 97 » Model Checking Abstract State Machines and Beyond |
148
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Cellular Automata (CAs) have been investigated extensively as abstract models of the distributed systems composed of autonomous entities characterized by local interaction. How...
123
click to vote
PTS
2007
15 years 5 months ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
124
click to vote
FORTE
2000
15 years 5 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
140
click to vote
ALT
2000
Springer
16 years 1 months ago
2000
Springer
Abstract. Support Vector Machines Regression (SVMR) is a learning technique where the goodness of fit is measured not by the usual quadratic loss function (the mean square error),...
162
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...