661 search results - page 103 / 133 » What Can We Expect from Program Verification |
218
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
This paper presents a surprising result: changing a seemingly innocuous aspect of an experimental setup can cause a systems researcher to draw wrong conclusions from an experiment...
158
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...
157
click to vote
IJMMS
2007
15 years 3 months ago
2007
What does a ‘normal’ computer (or social) network look like? How can we spot ‘abnormal’ sub-networks in the Internet, or web graph? The answer to such questions is vital f...
129
click to vote
ASPLOS
2009
ACM
15 years 7 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
129
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
Multiple phenomena often diffuse through a social network, sometimes in competition with one another. Product adoption and political elections are two examples where network diffus...