3107 search results - page 195 / 622 » Error-Correcting Source Code |
129
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
136
Voted
ICS
2001
Tsinghua U.
15 years 9 months ago
2001
Tsinghua U.
Application performance tuning is a complex process that requires assembling various types of information and correlating it with source code to pinpoint the causes of performance...
164
click to vote
IWPC
1998
IEEE
15 years 9 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
147
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
127
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...