11097 search results - page 350 / 2220 » Hera presentation generator |
169
click to vote
LCTRTS
2004
Springer
16 years 5 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
191
click to vote
ITC
2003
IEEE
16 years 3 days ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
178
click to vote
ICSE
2003
IEEE-ACM
16 years 1 days ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
153
click to vote
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
187
click to vote
ACL
2004
15 years 8 months ago
2004
Discriminative methods have shown significant improvements over traditional generative methods in many machine learning applications, but there has been difficulty in extending th...