7167 search results - page 238 / 1434 » A Technique for Invariant Generation |
184
click to vote
OOPSLA
2004
Springer
16 years 18 days ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
190
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
178
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
In a constraint-drivenlayout synthesisenvironment,parasitic constraints are generated and implemented in each phase of the design process to meet a given set of performance specif...
190
click to vote
GRAPP
2008
15 years 8 months ago
2008
This paper presents a method for normal map generation in the GPU. These normal maps are generated from a high resolution mesh and can be applied to any simplification of this mes...
167
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...