To program a processor, you need to have some model of how it behaves. But providing accurate functional models of processors is challenging. Traditionally, the behavior of a processor is specified by documentation that describes its Instruction Set Architecture, or ISA. This documentation is usually long, making it laborious to produce, and it is often riddled with errors, typos, and inconsist...

In Phase IV of the human factors program, two distinct projects have been undertaken. The continuing involvement with Continental Airlines and SUNY at Buffalo on workcard design has now produced a portable computer-based system. This combines the successful improvements to the paper-based workcard (Phase III) with the advantages of a hypertext system allowing multi-level access to documentation...

Accreditation of medical residency programs has become globally important. Currently it is moving from the goal of attaining minimal standards to a model of continuous improvement. In some countries, the accreditation system engages peers (physicians) to survey residency programs. The surveyors are sometimes volunteers, usually engaged in multiple clinical and education activities. Few studies ...

Spectur (Speci cation language after Turing) has been designed as a language for formal speci cation. The goals of the language include: ease of use by a speci er to write a software system speci cation from an informal description; ease of use by an implementor to build a program from a speci cation; ease of understanding by a user as documentation; ease of use by a mathematician to prove prog...

A comparison of two computer programs for ECG interpretation was undertaken. Twelve-lead ECGs from 300 patients with various clinical abnormalities were interpreted at the National Institutes of Health using version 1 of the IBM program and corresponding orthogonal three-lead ECGs were analyzed by the Glasgow Royal Infirmary (GRI) program. Interpretations were compared with respect to the clini...

UNLABELLED Automated genome sequencing procedure is enriching the sequence database very fast. To achieve a balance between the entry of sequences in the database and their analyses, efficient software is required. In this end PHYSICO2, compare to earlier PHYSICO and other public domain tools, is most efficient in that it i] extracts physicochemical, window-dependent and homologousposition-base...