3107 search results - page 396 / 622 » Error-Correcting Source Code |
124
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Automated static analysis can identify potential source code anomalies early in the software process that could lead to field failures. However, only a small portion of static ana...
129
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
145
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
154
Voted
ICIP
2008
IEEE
15 years 10 months ago
2008
IEEE
The robust transmission of video sequences over wireless LANs presents several challenging problems concerning the presence of packet losses, delays, and bandwidth limitations. Th...
137
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...