27827 search results - page 253 / 5566 » Generating |
126
click to vote
RTAS
2003
IEEE
15 years 8 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
113
click to vote
ICDT
1999
ACM
15 years 7 months ago
1999
ACM
A large number of database index structures have been proposed over the last two decades, and little consensus has emerged regarding their relative e ectiveness. In order to empir...
146
Voted
PEPM
1999
ACM
15 years 7 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
137
click to vote
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
97
Voted
DDECS
2007
IEEE
15 years 7 months ago
2007
IEEE
A method of generating test pairs for the delay faults is presented in this paper. The modification of the MISR register gives the source of test pairs. The modification of this r...