Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and masking of soft errors is challenging, expensive, and, for some applications, unnecessary. For example, approximate computing applications (such as multimedia processing, machine learning, and big data analytics) can often naturally tolerate soft errors. We present Rely a programming language that enables developers to reason about the quantitative reliability of an application -- namely, the probability that it produces the correct result when executed on unreliable hardware. Rely allows developers to specify the reliability requirements for each value...
International audienceApproximate Computing (AxC) paradigm aims at designing energy-efficient system...
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Comp...
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Emerging high-performance architectures are anticipated to contain unreliable components that may ex...
Emerging high-performance architectures are anticipated to contain unreliable components that may ex...
According to Moore’s law, technology scaling is continuously providing smaller and faster devices. T...
What is the probability that the execution state of a given microprocessor running a given applicati...
Technology scaling has led to growing concerns about reliability in microprocessors. Currently, faul...
Resilient algorithms in high-performance computing are subject to rigorous non-functional constrain...
According to Moore’s law, technology scaling is continuously providing smaller and faster devices. T...
In the modern era of computing, processors are increasingly susceptible to soft errors. Current solu...
Traditionally, fault tolerance researchers have made very strict assumptions about program correctne...
As high computing power is available at an affordable cost, we rely on microprocessor-based systems ...
Reliability of transistors is on the decline as transistors continue to shrink in size. Aggressive v...
This paper presents an empirical investigation on the soft error sensitivity (SES) of microprocessor...
International audienceApproximate Computing (AxC) paradigm aims at designing energy-efficient system...
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Comp...
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
Emerging high-performance architectures are anticipated to contain unreliable components that may ex...
Emerging high-performance architectures are anticipated to contain unreliable components that may ex...
According to Moore’s law, technology scaling is continuously providing smaller and faster devices. T...
What is the probability that the execution state of a given microprocessor running a given applicati...
Technology scaling has led to growing concerns about reliability in microprocessors. Currently, faul...
Resilient algorithms in high-performance computing are subject to rigorous non-functional constrain...
According to Moore’s law, technology scaling is continuously providing smaller and faster devices. T...
In the modern era of computing, processors are increasingly susceptible to soft errors. Current solu...
Traditionally, fault tolerance researchers have made very strict assumptions about program correctne...
As high computing power is available at an affordable cost, we rely on microprocessor-based systems ...
Reliability of transistors is on the decline as transistors continue to shrink in size. Aggressive v...
This paper presents an empirical investigation on the soft error sensitivity (SES) of microprocessor...
International audienceApproximate Computing (AxC) paradigm aims at designing energy-efficient system...
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Comp...
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...