Design and architectures for dependable embedded systems
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A case study on error resilient architectures for wireless communication
ARCS'12 Proceedings of the 25th international conference on Architecture of Computing Systems
Incorrect systems: it's not the problem, it's the solution
Proceedings of the 49th Annual Design Automation Conference
| Hi-index | 0.00 |
This roundtable is based on the 2010 Design Automation Conference session "Computing without Guarantees," which looked at how nondeterministic computing might be the wave of the future. The process of electronic system design has traditionally conformed to an axiom: the specification and implementation must be equivalent in a numerical or Boolean sense. But a wide range of application domains, including digital signal processing, multimedia processing, and wireless communications, do not require such a strong notion of equivalence, owing to the presence of noise in the input data and the limited perceptual ability of humans consuming their output. Emerging workloads of the future, such as recognition, mining, and synthesis, take this "inherent resilience" to a different level due to the massive amounts of data they process, statistical nature of the algorithms, and built-in expectation of less than perfect results.