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

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 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

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

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

Evaluating differential fault analysis of unknown cryptosystemsPAILLIER, P.Lecture notes in computer science. 1999, pp 235-244, issn 0302-9743, isbn 3-540-65644-8Conference Paper

Multiple fault detection using single fault test setsHUGHES, J. L. A.IEEE transactions on computer-aided design of integrated circuits and systems. 1988, Vol 7, Num 1, pp 100-108, issn 0278-0070Article

Comparison checking : An approach to avoid debugging of optimized codeJARAMILLO, C; GUPTA, R; SOFFA, M. L et al.Lecture notes in computer science. 1999, pp 268-284, issn 0302-9743, isbn 3-540-66538-2Conference Paper

Checking of pseudorandom code reading correctnessDENIC, D; ARSIC, M.Electronics Letters. 1993, Vol 29, Num 21, pp 1843-1844, issn 0013-5194Article

Design of efficient error-correcting balanced codesSULAIMAN AL-BASSAM; BOSE, B.IEEE transactions on computers. 1993, Vol 42, Num 10, pp 1261-1266, issn 0018-9340Article

Intensity correction method based on maximum likelihood estimationYANXIANG HAN; ZHISHENG ZHANG.Electronics letters. 2012, Vol 48, Num 14, pp 829-831, issn 0013-5194, 3 p.Article

LDBOD : A novel local distribution based outlier detectorYONG ZHANG; SU YANG; YUANYUAN WANG et al.Pattern recognition letters. 2008, Vol 29, Num 7, pp 967-976, issn 0167-8655, 10 p.Article

Relevant metrics for evaluation of concurrent error detection schemesDE VASCONCELOS, Mai C. R; FRANCO, Denis T; NAVINER, Lirida A. B et al.Microelectronics and reliability. 2008, Vol 48, Num 8-9, pp 1601-1603, issn 0026-2714, 3 p.Conference Paper

Generalized bose-lin codes, a class of codes detecting asymmetric errorsNAYDENOVA, Irina; KLØVE, Torleiv.IEEE transactions on information theory. 2007, Vol 53, Num 3, pp 1188-1193, issn 0018-9448, 6 p.Article

Feature constraint logic and error detection in ICALL systemsREUER, Veit; KÜHNBERGER, Kai-Uwe.Lecture notes in computer science. 2005, pp 255-270, issn 0302-9743, isbn 3-540-25783-7, 16 p.Conference Paper

Hierarchical application aware error detection and recoveryIVER, Ravishankar K.Design automation conference. 2004, isbn 1-58113-828-8, p. 79Conference Paper

Transforming a surgical robot for human telesurgeryBUTNER, Steven E; GHODOUSSI, Moji.IEEE transactions on robotics and automation. 2003, Vol 19, Num 5, pp 818-824, issn 1042-296X, 7 p.Article

Design of new roll-forward recovery approach for distributed systemsGUPTA, B; BANERJEE, S. K; LIU, B et al.IEE proceedings. Computers and digital techniques. 2002, Vol 149, Num 3, pp 105-112, issn 1350-2387Article

Using data flow information to obtain efficient check sets for algorithm-based Fault toleranceNARASIMHAN, R; ROSENKRANTZ, D. J; RAVI, S. S et al.International journal of parallel programming. 1999, Vol 27, Num 4, pp 289-323, issn 0885-7458Article

The problem of too much power in detecting biases for a real chemical processCHEN, V. C. P; MELENDEZ, M; ROLLINS, D. K et al.ISA transactions. 1998, Vol 37, Num 4, pp 329-336, issn 0019-0578Article

Algorithm Selection for AUGUR : EUROCONTROL's predictive raim toolOBER, P. B; HARRIMAN, D. A. G; WILDE, J et al.Global navigation satellite systems. European symposium. 1998, 3Vol, Vol 2, VI.P.08 [6 p.]Conference Paper

Producing good font attribute determination using error-prone informationCOOPERMAN, B.SPIE proceedings series. 1997, pp 50-57, isbn 0-8194-2438-2Conference Paper