6274 search results - page 652 / 1255 » Proofs, Programs, Processes |
219
click to vote
BIRTHDAY
2003
Springer
16 years 13 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
171
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Assessing the reliability of a software system has always been an elusive target. A program may work very well for a number of years and this same program may suddenly become quit...
179
click to vote
CF
2007
ACM
15 years 11 months ago
2007
ACM
Performance tuning is an important and time consuming task which may have to be repeated for each new application and platform. Although iterative optimisation can automate this p...
205
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
222
click to vote
IWMM
2010
Springer
15 years 9 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...