6704 search results - page 97 / 1341 » Testing Scenario-Based Models |
143
click to vote
FORTE
1997
15 years 3 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
153
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
Simply choosing one model out of a large set of possibilities for a given vision task is a surprisingly difficult problem, especially if there is limited evaluation data with whi...
100
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
CAV
2012
Springer
13 years 4 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...