4270 search results - page 96 / 854 » A Permutation Approach to Validation |
138
click to vote
GLVLSI
2008
IEEE
15 years 11 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
128
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
The modeling of power and thermal behavior of modern processors requires challenging validation approaches, which may be complex and in some cases unreliable. In order to address ...
124
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we rigorously prove the validity of the cavity method for the problem of counting the number of matchings in graphs with large girth. Cavity method is an important he...
126
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...
121
click to vote
TSE
2002
15 years 4 months ago
2002
We propose an approach (GQM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed v...