3107 search results - page 194 / 622 » Error-Correcting Source Code |
149
click to vote
ICSM
2006
IEEE
15 years 11 months ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
139
Voted
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...
131
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
123
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Predictive coding eliminates redundancy due to correlations between the current and past signal samples, so that only the innovation, or prediction residual, needs to be encoded. ...
162
Voted
IIE
2006
15 years 5 months ago
2006
In this paper, we present an open-source program visualization tool, Jeliot 3. We discuss the design principles and philosophy that gave rise to this successful e-learning tool and...