3107 search results - page 428 / 622 » Error-Correcting Source Code |
113
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
The investigation of a software system prior to a modification task often constitutes an important fraction of the overall effort associated with the task. We present Suade, an Ec...
105
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
113
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We present two modifications to the popular k-means clustering algorithm to address the extreme requirements for latency, scalability, and sparsity encountered in user-facing web...
164
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
139
Voted
ASWEC
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...