41 search results - page 9 / 9 » Error compensation and reliability based view synthesis |
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...