An extended static checker for modula-3RUSTAN, K; LEINO, M; NELSON, G et al.Lecture notes in computer science. 1998, pp 302-305, issn 0302-9743, isbn 3-540-64304-4Conference Paper

Bitfehlerübawachung mit CRC-4-Verfahren im Vergleich zur Rahweukeunwortauswerhung = Bit error monitoring by CRC-4 procedure in comparison of the method of frame alignment word evaluationKNEIP, S.Frequenz. 1989, Vol 43, Num 6, pp 161-167, issn 0016-1136, 7 p.Article

Berger check prediction for array multipliers and array dividersJIEN-CHUNG LO; SUCHAI THANAWASTIEN; RAO, T. R. N et al.IEEE transactions on computers. 1993, Vol 42, Num 7, pp 892-896, issn 0018-9340Article

CARTE DE DETECTION D'ERREURS POUR MICROPROCESSEURSMONNIER J; DAMIEN H; CHEVREAU B et al.1979; ELECTRON. APPL. INDUSTR.; FRA; DA. 1979; NO 265; PP. 50-51Article

A two-error-detecting arithmetical check system for decimal identification numbersSTEVENS, P.European journal of operational research. 1991, Vol 52, Num 3, pp 378-381, issn 0377-2217Article

A highly reliable memory subsystem design employing SECDED, column sparing, and pagingVON BANK, J.IEEE transactions on reliability. 1986, Vol 35, Num 1, pp 7-11, issn 0018-9529Article

A new class of check-digit methods for arbitrary number systemsGUMM, H. P.IEEE transactions on information theory. 1985, Vol 31, Num 1, pp 102-104, issn 0018-9448Article

Estimation de l'aptitude d'un analyseur de signature à détecter les erreurs de multiplicité donnée dans une suite binaireIOFFE, M. I.Avtomatika i telemehanika. 1984, Num 12, pp 110-117, issn 0005-2310Article

Memory package error detection and correctionVARANASI, M. R; RAO, T. R. N; SON PHAM et al.IEEE transactions on computers. 1983, Vol C.32, Num 9, pp 872-874, issn 0018-9340Article

A study on the function of self error detection for a microcomputerSAKAMAKI, K; NAGAO, Y; KANAOKA, T et al.Tokyo Toritsu Kōgyō Gijutsu Sentā kenkyū hōkoku. 1990, Num 19, pp 53-56, issn 0285-6670Article

A new, efficient, and flexible error detection approach for compressed visual contentsHUA CAI; BING ZENG.IEEE International Symposium on Circuits and Systems. 2004, pp 909-912, isbn 0-7803-8251-X, 4 p.Conference Paper

A meter placement method for state estimationBARAN, M. E; ZHU, J; ZHU, H et al.IEEE transactions on power systems. 1995, Vol 10, Num 3, pp 1704-1710, issn 0885-8950Article

Ascertining the value of reliability for a software package before releaseAGGARWAL, K. K; SINGH, Y.Microelectronics and reliability. 1992, Vol 32, Num 6, pp 833-838, issn 0026-2714Article

Effect of channel errors on source coded image data and the provision of adequate protection of transmission bitsBREWSTER, R. L; DODGSON, T. E.IEE proceedings. Part F. Communications, radar and signal processing. 1988, Vol 135, Num 6, pp 528-538, issn 0143-7070Article

Multifunctional holographic elements for surface measurementsHASMAN, E; DAVIDSON, N; FRIESEM, A. A et al.Optical engineering (Bellingham. Print). 1992, Vol 31, Num 2, pp 363-368, issn 0091-3286Article

Software reliability growth modeling with number of test runsYAMADA, S; OSAKI, S; NARIHISA, H et al.Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E. 1984, Vol 67, Num 2, pp 79-83, issn 0387-236XArticle

Order and difficulty of debuggingTRACHTENBERG, M.IEEE transactions on software engineering. 1983, Vol 9, Num 6, pp 746-747, issn 0098-5589Article

Sentence structure standardization method for detecting errors in English sentencesKAWAI, A; SUGIHARA, K; SUGIE, N et al.Systems, computers, controls. 1983, Vol 14, Num 2, pp 84-92, issn 0096-8765Article

Decoding the ternary (23, 12, 8) quadratic residue codeHIGGS, R. J; HUMPHREYS, J. F.IEE proceedings. Communications. 1995, Vol 142, Num 3, pp 129-134, issn 1350-2425Article

How to detect tampering of dataKAK, S. C.Information processing letters. 1985, Vol 20, Num 2, pp 109-110, issn 0020-0190Article

Veroyatnost polozheniya opredelyaemoj tochki v sfere oshibokBALANDIN, V. N.Geodeziâ i kartografiâ. 1984, Num 4, pp 18-20, issn 0016-7126Article

TIRAN : Flexible and portable fault tolerance solutions for cost effective dependable applicationsBOTTI, O; DE FLORIO, V; VERHULST, E et al.Lecture notes in computer science. 1999, pp 1166-1170, issn 0302-9743, isbn 3-540-66443-2Conference Paper

Analysis of ARQ protocols via signal flow graphsDENG-LIN LU; JIN-FU CHANG.IEEE transactions on communications. 1989, Vol 37, Num 3, pp 245-251, issn 0090-6778, 7 p.Article

The linear software reliability model and uniform testingTRACHTENBERG, M.IEEE transactions on reliability. 1985, Vol 34, Num 1, pp 8-16, issn 0018-9529Article

Error detection processes in statistical problem solvingALLWOOD, C. M.Cognitive science. 1984, Vol 8, Num 4, pp 413-437, issn 0364-0213Article