6704 search results - page 53 / 1341 » Testing Scenario-Based Models |
ICCD
2003
IEEE
14 years 3 months ago
2003
IEEE
As the technology is shrinking toward 50 nm and the working frequency is going into multi gigahertz range, the effect of interconnects on functionality and performance of system-o...
ICST
2010
IEEE
13 years 8 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
APSCC
2009
IEEE
14 years 5 months ago
2009
IEEE
What is a cloud application precisely? In this paper, we formulate a computing cloud as a kind of graph, a computing resource such as services or intellectual property access righ...
TVLSI
2008
13 years 10 months ago
2008
The proposed work involves conversion of a given circuit model into a set of constraints and employing constraint solvers to generate tests for it. The method is demonstrated for ...
PROCEDIA
2010
13 years 8 months ago
2010
Social networks have small-world property, hierarchical community structure, and some other properties. This paper proposes models of networks with these properties and algorithm ...