6894 search results - page 160 / 1379 » Generation Problems |
143
click to vote
FATES
2004
Springer
15 years 12 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
168
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Object-oriented programming, design patterns, and frameworks are common techniques that have been used to reduce the complexity of sequential programming. We have applied these te...
135
click to vote
APSEC
1996
IEEE
15 years 10 months ago
1996
IEEE
Nowadays, for GUI application development, a number of interface builders make possible for the user to create user interfaces easily and UIMSs help to specify and design user int...
133
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
162
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...