This paper presents a model checking tool, SatAbs, that implements a predicate abstraction refinement loop. Existing software verification tools such as Slam, Blast, or Magic use decision procedures for abstraction and simulation that are limited to integers. SatAbs overcomes these limitations by using a SAT-solver. This allows the model checker to handle the semantics of the ANSI-C standard ac...

On March 13, 2015, OSHA published in the Federal Register a notice of proposed rulemaking (NPRM) to revise its eye and face protection standards for general industry, shipyard employment, marine terminals, longshoring, and construction by updating the references to national consensus standards approved by the American National Standards Institute (ANSI). OSHA received no significant objections ...

Failure to disclose patents According to ANSI, only certain, limited sanctions are appropriate when a patent owner fails correctly to identify and disclose patent rights embodied into a standard until after the standard has been adopted. (This is the pattern of conduct that led to the US Federal Trade Commission’s 1995 case against Dell Computer after the 1992 development and adoption of the VE...

In this paper the authors propose an algorithm for packet loss concealment (PLC) in transmission over IP-based networks with high packet loss rate. The algorithm is a sender-receiver-based extension of ANSI T1.521a Annex B PLC standard for G.711 voice codec. It consists in adding to a transmitted packet redundant parameters describing speech signal in another packet. Efficiency of the proposed ...

The purpose of this study was to obtain normal hearing thresholds for an ER-3A insert earphone as a contribution for future standardization and for comparison with previous studies and interim ANSI and ISO insert earphone reference equivalent threshold sound pressure levels (RETSPLs). Hearing thresholds were obtained on each ear of 48 normal-hearing subjects from 125 to 8000 Hz using ER-3A and ...

Laboratory ventilation is a fundamental strategy to control exposures to volatile chemicals. However, laboratory ventilation systems are energy-intensive and developing innovative methods for incorporating sustainable energy considerations into laboratory ventilation design and operation is an important concern for successful 21st century laboratory institutions. This paper describes our use of...

1. One-to-One Matching (Verification) -NIST recommends one face and two index fingerprints for verification. All three biometrics should be in image form. The face image should conform to the ANSI/INCITS 385-2004 standard. The fingerprint images should conform to the ANSI/INCITS 381-2004 standard with 500 dots per inch (dpi) scan resolution. 2. One-to-Many Matching (Identification) -NIST recomm...

Physicochemical properties of pozzolan Portland cement were compared to ProRoot MTA and MTA BIO. To test the pH, the samples were immersed in distilled water for different periods of time. After the pH analysis, the sample was retained in the plastic recipient, and the electrical conductivity of the solution was measured. The solubility and radiopacity properties were evaluated according to spe...

It is well known that programs written in C are apt to suffer from nasty errors due to dangling pointers and/or buffer overflow. In particular, such errors in Internet servers are often exploited by malicious attackers to “crack” an entire system, which becomes even social problems nowadays. Nevertheless, it is yet unrealistic to throw away the C language at once because of legacy programs and ...

Model-driven engineering has recently gained broad acceptance in the field of embedded and real-time software systems. While larger embedded and real-time systems, developed e.g. in aerospace, telecommunication, or automotive industry, are quite well supported by model-driven engineering approaches based on the UML, small embedded and real-time systems, as they can for example be found in the i...