S-SETA: Selective Software-Only Error-Detection Technique Using Assertions

Software-based techniques offer several advantages to increase the reliability of processor-based systems at very low cost, but they cause performance degradation and an increase of the code size. To meet constraints in performance and memory, we propose SETA, a new control-flow software-only technique that uses assertions to detect errors affecting the program flow. SETA is an independent technique, but it was conceived to work together with previously proposed data-flow techniques that aim at reducing performance and memory overheads. Thus, SETA is combined with such data-flow techniques and submitted to a fault injection campaign. Simulation and neutron induced SEE tests show high fault coverage at performance and memory overheads inferior to the state-of-the-art.

Positional accommodative intraocular lens power error induced by the estimation of the corneal power and the effective lens position

Purpose: To evaluate the predictability of the refractive correction achieved with a positional accommodating intraocular lenses (IOL) and to develop a potential optimization of it by minimizing the error associated with the keratometric estimation of the corneal power and by developing a predictive formula for the effective lens position (ELP). Materials and Methods: Clinical data from 25 eyes of 14 patients (age range, 52–77 years) and undergoing cataract surgery with implantation of the accommodating IOL Crystalens HD (Bausch and Lomb) were retrospectively reviewed. In all cases, the calculation of an adjusted IOL power (PIOLadj) based on Gaussian optics considering the residual refractive error was done using a variable keratometric index value (nkadj) for corneal power estimation with and without using an estimation algorithm for ELP obtained by multiple regression analysis (ELPadj). PIOLadj was compared to the real IOL power implanted (PIOLReal, calculated with the SRK-T formula) and also to the values estimated by the Haigis, HofferQ, and Holladay I formulas. Results: No statistically significant differences were found between PIOLReal and PIOLadj when ELPadj was used (P = 0.10), with a range of agreement between calculations of 1.23 D. In contrast, PIOLReal was significantly higher when compared to PIOLadj without using ELPadj and also compared to the values estimated by the other formulas. Conclusions: Predictable refractive outcomes can be obtained with the accommodating IOL Crystalens HD using a variable keratometric index for corneal power estimation and by estimating ELP with an algorithm dependent on anatomical factors and age.

A Hardware-Software Approach for On-Line Soft Error Mitigation in Interrupt-Driven Applications

Integrity assurance of configuration data has a significant impact on microcontroller-based systems reliability. This is especially true when running applications driven by events which behavior is tightly coupled to this kind of data. This work proposes a new hybrid technique that combines hardware and software resources for detecting and recovering soft-errors in system configuration data. Our approach is based on the utilization of a common built-in microcontroller resource (timer) that works jointly with a software-based technique, which is responsible to periodically refresh the configuration data. The experiments demonstrate that non-destructive single event effects can be effectively mitigated with reduced overheads. Results show an important increase in fault coverage for SEUs and SETs, about one order of magnitude.

(Table T1) Depths and ages of datum levels at ODP Leg 182 sites

The first and last appearances of Quaternary planktonic foraminifers in the Great Australian Bight were evaluated using datum levels from magnetostatigraphy, oxygen isotope stratigraphy, and calcareous nannofossil biostratigraphy to determine whether they were synchronous or diachronous with open-ocean biostratigraphic events. The first appearance of Globorotalia truncatulinoides is diachronous at 1.6-1.7 Ma at Site 1127 and 1.1-1.2 at Sites 1129 and 1132, similar to other local appearances in high latitudes. All other datum levels, however, are synchronous with open-ocean events, including the first appearance of Globorotalia hirsuta and the last appearances of Globorotalia tosaensis and pink Globigerinoides ruber in the Indo-Pacific region. A local reappearance of Gt. hirsuta at ~0.12 Ma and the disappearance of Globorotalia crassaformis at ~0.10 Ma were found to be useful for local biostratigraphy. Age control at the bottom of all of the sections is poor at this time, but results suggest that sedimentation recommenced starting at ~1.9 Ma above the regional unconformity that marks the base of seismostratigraphic Sequence 2. Sediment accumulation is distinctly reduced in the lower Pleistocene compared to the upper Pleistocene, perhaps in part because of processes associated with several omission surfaces.

Adventures in error,

"Errata" slip inserted.

Clerical error,

Mode of access: Internet.

Eva; or, The error. A play in five acts ...

Mode of access: Internet.

Cases in Parliament resolved and adjudged, upon petitions, and writs of error. [1694-1698]

Mode of access: Internet.

A bound on the error in a general quadrature formula with equidistant ordinates /

"October 20, 1954"

Error detection and correction in binary parallel digital computers /

"Retyped October, 1964"

Error estimation and iterative improvement for the numerical solution of operator equations /

Bibliography: p. 85-87.

NOR network transduction based on error-compensation : principles of NOR network transduction programs NETTRA-E1, NETTRA-E2, and NETTRA-E3 /

Bibliography: p. 101-102.

Methods for automatic error analysis of numerical algorithms /

Vita.

An upper bound for the number of certain error correcting codes /

"August 9, 1954"

Cyclic spot-error-correcting codes.

Vita.