7430 search results - page 366 / 1486 » Programming Applications in CIFF |
166
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
167
click to vote
VMCAI
2009
Springer
16 years 29 days ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
161
click to vote
MODELS
2009
Springer
16 years 22 days ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
168
Voted
GECCO
2007
Springer
16 years 11 days 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...
172
click to vote
ASPLOS
2006
ACM
16 years 5 days ago
2006
ACM
GPUs are difficult to program for general-purpose uses. Programmers can either learn graphics APIs and convert their applications to use graphics pipeline operations or they can ...