George A. Reis, Jonathan Chang, David I
...... Microprocessor performance has been increasing exponentially in recent decades, due in large part to smaller and faster transistors enabled by improved fabrication technology. Although such...
Fault-tolerant typed assembly language (2007)
Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. Although transient faults do not permanently damage the hardware, they may corrupt...
Fault-tolerant typed assembly language (2007)
Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. Although transient faults do not permanently damage the hardware, they may corrupt...
Neriani, Kelly E., Herbranson, Travis J., Reis, George A., Pinkus, Alan R., Goodyear, Charles D.
While vast numbers of image enhancing algorithms have already been developed, the majority of these algorithms have not been assessed in terms of their visual performance-enhancing effects using...
Static typing for a faulty lambda calculus (2006)
David Walker, Lester Mackey, Jay Ligatti, George A. Reis, David I. August
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorrect program...
Non-uniform fault tolerance (2006)
Jonathan Chang, George A. Reis, Neil Vachharajani, Ram Rangan, David I. August
As devices become more susceptible to transient faults that can affect program correctness, processor designers will increasingly compensate by adding hardware or software redundancy. Proposed...
Non-uniform fault tolerance (2006)
Jonathan Chang, George A. Reis, Neil Vachharajani, Ram Rangan, David I. August
As devices become more susceptible to transient faults that can affect program correctness, processor designers will increasingly compensate by adding hardware or software redundancy. Proposed...
Automatic Instruction-Level Software-Only Recovery Methods (2006)
Jonathan Chang, George A. Reis, David I. August
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Computer architects have typically addressed reliability...
Software fault detection using dynamic instrumentation (2006)
George A. Reis, David I. August
In recent decades, microprocessor performance has been increasing exponentially. A large fraction of this performance gain is directly due to smaller and faster transistors enabled by improved...
Configurable Transient Fault Detection via Dynamic Binary Translation (2006)
George A. Reis, Jonathan Chang, David I. August, Robin Cohn, Shubhendu S. Mukherjee
Smaller feature sizes, lower voltage levels, and reduced noise margins have helped improve the performance and lower the power consumption of modern microprocessors. These same advances have made...
Static typing for a faulty lambda calculus (2006)
David Walker, Lester Mackey, Jay Ligatti, George A. Reis, David I. August
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorrect program...
Static typing for a faulty lambda calculus (2006)
David Walker, Lester Mackey, Jay Ligatti, George A. Reis, David I. August
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorrect program...
Design and evaluation of hybrid fault-detection systems (2005)
George A. Reis, Jonathan Chang, Neil Vachharajani, Ram Rangan, David I. August
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have primarily considered...
SWIFT: Software Implemented Fault Tolerance (2005)
George A. Reis, Jonathan Chang, Neil Vachharajani, Ram Rangan, David I. August
To improve performance and reduce power, processor designers employ advances that shrink feature sizes, lower voltage levels, reduce noise margins, and increase clock rates. However, these advances...
Software-controlled fault tolerance (2005)
George A. Reis, Jonathan Chang, Neil Vachharajani, Ram Rangan, David I. August, Shubhendu S. Mukherjee
Traditional fault tolerance techniques typically utilize resources ineffectively because they cannot adapt to the changing reliability and performance demands of a system. This paper proposes...
Design and evaluation of hybrid fault-detection systems (2005)
George A. Reis, Jonathan Chang, Neil Vachharajani, Ram Rangan, David I. August
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have primarily considered...
RIFLE: An architectural framework for user-centric information-flow security (2004)
Neil Vachharajani, Matthew J. Bridges, Jonathan Chang, Ram Rangan, Guilherme Ottoni, Jason A. Blome, ...
Even as modern computing systems allow the manipulation and distribution of massive amounts of information, users of these systems are unable to manage the confidentiality of their data in a...
RIFLE: An architectural framework for user-centric information-flow security (2004)
Neil Vachharajani, Matthew J. Bridges, Jonathan Chang, Ram Rangan, Guilherme Ottoni, Jason A. Blome, ...
Even as modern computing systems allow the manipulation and distribution of massive amounts of information, users of these systems are unable to manage the confidentiality of their data in a...
RIFLE: An Architectural Framework for User-Centric (2004)
Information-Flow Security Neil, Neil Vachharajani, Matthew J. Bridges, Jonathan Chang, Ram Rangan, Guilherme Ottoni, ...
Even as modern computing systems allow the manipulation and distribution of massive amounts of information, users of these systems are unable to manage the confidentiality of their data in a...
RIFLE: An Architectural Framework for User-Centric (2004)
Information-Flow Security Neil, Neil Vachharajani, Matthew J. Bridges, Jonathan Chang, Ram Rangan, Guilherme Ottoni, ...
Even as modern computing systems allow the manipulation and distribution of massive amounts of information, users of these systems are unable to manage the confidentiality of their data in a...