9412 search results - page 210 / 1883 » An aspect-oriented generative approach |
137
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...
168
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
In general, automatic layout composition techniques based on pre-designed devices facilitate the production of small IC numbers by prefabricating their basic structures. They also...
158
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Recent results indicate that functional test pattern generation (TPG) techniques may provide better defect coverages than do traditional logic-level techniques. Functional TPG alg...
161
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
A new method for state justi cation is proposed for sequential circuit test generation. The linear list of states dynamically obtained during the derivation of test vectors is use...
171
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...