1534 search results - page 58 / 307 » Error Reporting Logic |
109
click to vote
ESOP
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
- The recent growth in personal wireless communication devices being used for image transmission, have poised a challenge to protect this data against loss over mobile radio channe...
100
click to vote
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
PAMI
2007
14 years 9 months ago
2007
—We formalize the notion of style context, which accounts for the increased accuracy of the field classifiers reported in this journal recently. We argue that style context forms...
ITC
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...