8 search results - page 2 / 2 » Could We Have Chosen a Better Loop Invariant or Method Contr... |
WCRE
1999
IEEE
13 years 10 months ago
1999
IEEE
As valuable software systems get old, reverse engineering becomes more and more important to the companies that have to maintain the code. Clustering is a key activity in reverse ...
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
MOBIHOC
2008
ACM
14 years 5 months ago
2008
ACM
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...