3330 search results - page 333 / 666 » software 2010 |
102
click to vote
ARCS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper describes a job distribution system which focuses on standard desktop worker nodes in inhomogeneous and unreliable environments. The system is suited for gener...
123
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
121
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
110
click to vote
MSR
2010
ACM
15 years 9 months ago
2010
ACM
—This paper presents an approach to automatically distinguish the copied clone from the original in a pair of clones. It matches the line-by-line version information of a clone t...
132
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Large clusters of mutual dependence can cause problems for comprehension, testing and maintenance. This paper introduces the concept of coherent dependence clusters, techniques fo...