9412 search results - page 115 / 1883 » An aspect-oriented generative approach |
180
click to vote
TSE
2010
15 years 1 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
168
click to vote
VIS
2008
IEEE
16 years 7 months ago
2008
IEEE
We present a novel approach for the direct computation of integral surfaces in general vector fields. As opposed to previous work, which we analyze in detail, our approach is based...
167
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
179
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
182
Voted
ICAC
2008
IEEE
16 years 25 days ago
2008
IEEE
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...