3742 search results - page 60 / 749 » On the Use of Formal Techniques for Validation |
149
click to vote
HCSE
2010
15 years 4 months ago
2010
The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input w...
132
click to vote
ISCAS
2008
IEEE
16 years 17 days ago
2008
IEEE
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...
163
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
172
click to vote
ECBS
2007
IEEE
16 years 15 days ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
165
click to vote
DATE
2006
IEEE
16 years 6 days ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...