2877 search results - page 122 / 576 » The Complexity of Planarity Testing |
156
click to vote
JLP
2006
15 years 4 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
142
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
127
click to vote
ICS
1993
Tsinghua U.
15 years 8 months ago
1993
Tsinghua U.
—Data dependence analysis techniques are the main component of today’s strategies for automatic detection of parallelism. Parallelism detection strategies are being incorporate...
124
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Overheating has been acknowledged as a major issue in testing complex SOCs. Several power constrained system-level DFT solutions (power constrained test scheduling) have recently ...
140
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...