Concurrent Error Detection
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Definition and design of strongly language disjoint checkers
This paper defines strongly language disjoint (SLD) checkers. SLD checkers are to sequential systems what strongly code disjoint checkers are to combinational systems. SLD checkers are the largest class of checkers with which a functional system may achieve the TSC goal. Self-checking sequential systems are first addressed, then formal definitions of SLD che
Publicado em: 2011
-
2. Hepatocyte gene therapy in a large animal: A neonatal bovine model of citrullinemia
The development of gene-replacement therapy for inborn errors of metabolism has been hindered by the limited number of suitable large-animal models of these diseases and by inadequate methods of assessing the efficacy of treatment. Such methods should provide sensitive detection of expression in vivo and should be unaffected by concurrent pharmacologic and d
The National Academy of Sciences.
-
3. Read Code Quality Assurance: From Simple Syntax to Semantic Stability
As controlled clinical vocabularies assume an increasing role in modern clinical information systems, so the issue of their quality demands greater attention. In order to meet the resulting stringent criteria for completeness and correctness, a quality assurance system comprising a database of more than 500 rules is being developed and applied to the Re
American Medical Informatics Association.
-
4. Statistical process control methods for expert system performance monitoring.
The literature on the performance evaluation of medical expert system is extensive, yet most of the techniques used in the early stages of system development are inappropriate for deployed expert systems. Because extensive clinical and informatics expertise and resources are required to perform evaluations, efficient yet effective methods of monitoring perfo