3736 search results - page 227 / 748 » Generative Programming |
118
click to vote
WAC
2005
Springer
15 years 9 months ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
107
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software-based self-test (SBST) of processors offers many benefits, such as dispense with expensive test equipments, test execution during maintenance and in the field or initiali...
132
click to vote
ISPAN
2002
IEEE
15 years 8 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
120
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
134
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In recent years the computing power of graphics cards has increased significantly. Indeed, the growth in the computing power of these graphics cards is now several orders of magn...