Emerging high-performance architectures are anticipated to contain unreliable components
that may exhibit soft errors, which silently corrupt the results of computations. Full detection …

This paper presents the design and implementation of the Bluetooth local positioning
application. Positioning is based on received power levels, which are converted to distance …

This paper describes an experimental study of Linux kernel behavior in the presence of
errors that impact the instruction stream of the kernel code. Extensive error injection …

Transient faults are emerging as a critical concern in the reliability of general-purpose
microprocessors. As architectural trends point toward multicore designs, there is substantial …

A large number of software security vulnerabilities are caused by software errors that are
committed by software developers. We believe that interactive tool support will play an …

Transient faults are emerging as a critical concern in the reliability of general-purpose
microprocessors. As architectural trends point towards multi-threaded multi-core designs …

High performance and relatively low cost of GPU-based platforms provide an attractive
alternative for general purpose high performance computing (HPC). However, the emerging …

A geometric formulation of active contours for 2D, 3D boundary detection and motion
tracking is presented. The technique is based on active contours evolving in time according …

The scaling of Silicon devices has exacerbated the unreliability of modern computer
systems, and power constraints have necessitated the involvement of software in hardware …

This paper introduces SymPLFIED, a program-level framework that allows specification of
arbitrary error detectors and the verification of their efficacy against hardware errors …