{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:13:59Z","timestamp":1743074039723,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642282928"},{"type":"electronic","value":"9783642282935"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28293-5_1","type":"book-chapter","created":{"date-parts":[[2012,2,11]],"date-time":"2012-02-11T02:15:48Z","timestamp":1328926548000},"page":"1-12","source":"Crossref","is-referenced-by-count":7,"title":["Classification-Based Improvement of Application Robustness and Quality of Service in Probabilistic Computer Systems"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Heinig","sequence":"first","affiliation":[]},{"given":"Vincent J.","family":"Mooney","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Schmoll","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Marwedel","sequence":"additional","affiliation":[]},{"given":"Krishna","family":"Palem","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Engel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11265-005-6648-1","volume":"41","author":"L. Benini","year":"2005","unstructured":"Benini, L., Bertozzi, D., Bogliolo, A., Menichelli, F., Olivieri, M.: MPARM: Exploring the Multi-Processor SoC Design Space with SystemC. The Journal of VLSI Signal Processing\u00a041, 169\u2013182 (2005)","journal-title":"The Journal of VLSI Signal Processing"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Bhanu, A., Lau, M.S.K., Ling, K.-V., Mooney, V.J., Singh, A.: A more precise model of noise based CMOS errors. In: Proc. Intl. Symp. on Electronic Design, Test and Applications, pp. 99\u2013102 (January 2010)","DOI":"10.1109\/DELTA.2010.18"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1007\/3-540-44520-X_137","volume-title":"Euro-Par 2000 Parallel Processing","author":"M. Budiu","year":"2000","unstructured":"Budiu, M., Sakr, M., Walker, K., Goldstein, S.C.: BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations. In: Bode, A., Ludwig, T., Karl, W.C., Wism\u00fcller, R. (eds.) Euro-Par 2000. LNCS, vol.\u00a01900, pp. 969\u2013979. Springer, Heidelberg (2000)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Chakrapani, L.N.B., Muntimadugu, K.K., Lingamneni, A., George, J., Palem, K.V.: Highly energy and performance efficient embedded computing through approximately correct arithmetic. In: Proc. of CASES, pp. 187\u2013196. ACM (2008)","DOI":"10.1145\/1450095.1450124"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11693024_18","volume-title":"Programming Languages and Systems","author":"B. Chin","year":"2006","unstructured":"Chin, B., Markstrum, S., Millstein, T., Palsberg, J.: Inference of User-Defined Type Qualifiers and Qualifier Rules. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 264\u2013278. Springer, Heidelberg (2006)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Dhoot, C., Mooney, V.J., Chau, L.P., Chowdhury, S.R.: Low power motion estimation with probabilistic computing. In: Proc. ISVLSI, pp. 176\u2013181. IEEE (2011)","DOI":"10.1109\/ISVLSI.2011.58"},{"key":"1_CR7","unstructured":"Engel, M., Schmoll, F., Heinig, A., Marwedel, P.: Unreliable yet useful \u2013 reliability annotations for data in cyber-physical systems. In: Proc. of the Workshop on Software Language Engineering for Cyber-Physical Systems, Berlin (October 2011)"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1145\/301618.301665","volume-title":"Proc. of PLDI","author":"J.S. Foster","year":"1999","unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: A theory of type qualifiers. In: Proc. of PLDI, pp. 192\u2013203. ACM, New York (1999)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"George, J., Marr, B., Akgul, B., Palem, K.: Probabilistic arithmetic and energy efficient embedded signal processing. In: Proc. of CASES, pp. 158\u2013168. ACM (2006)","DOI":"10.1145\/1176760.1176781"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mandavalli, S., Mooney, V.J., Ling, K.-V., Basu, A., Johan, H., Tandianus, B.: Low power probabilistic floating point multiplier design. In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI), pp. 182\u2013187 (2011)","DOI":"10.1109\/ISVLSI.2011.54"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Heinig, A., Engel, M., Schmoll, F., Marwedel, P.: Improving transient memory fault resilience of an H.264 decoder. In: Proc. of ESTIMedia. IEEE (October 2010)","DOI":"10.1109\/ESTMED.2010.5666989"},{"key":"1_CR12","unstructured":"ICD e.V.: ICD-C Compiler framework, \n                    \n                      http:\/\/www.icd.de\/es\/icd-c\/"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Kedem, Z.M., Mooney, V.J., Muntimadugu, K.K., Palem, K.V.: An approach to energy-error tradeoffs in approximate ripple carry adders. In: Proc. Intl. Symposium on Low Power Electronics and Design (ISLPED), pp. 211\u2013216 (August 2011)","DOI":"10.1109\/ISLPED.2011.5993638"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Kedem, Z.M., Mooney, V.J., Muntimadugu, K.K., Palem, K., Devarasetty, A., Parasuramuni, P.D.: Optimizing energy to minimize errors in dataflow graphs using approximate adders. In: Proc. of CASES. pp. 177\u2013186. ACM (2010)","DOI":"10.1145\/1878921.1878948"},{"key":"1_CR15","unstructured":"Lau, M.S.K., Ling, K.-V., Bhanu, A., Mooney, V.J.: Error rate prediction for probabilistic circuits with more general structures. In: Proc. of the WS on Synthesis And System Integration of Mixed Information Technologies, pp. 220\u2013225 (April 2010)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Li, X., Yeung, D.: Application-level correctness and its impact on fault tolerance. In: Proc. Symp. on High Performance Comp. Architecture, pp. 181\u2013192 (2007)","DOI":"10.1109\/HPCA.2007.346196"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"\u00d6zer, E., Nisbet, A.P., Gregg, D.: A stochastic bitwidth estimation technique for compact and low-power custom processors. ACM TECS\u00a07, 34:1\u201334:30 (2008)","DOI":"10.1145\/1347375.1347387"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Palem, K.V., Chakrapani, L.N.B., Kedem, Z.M., Lingamneni, A., Muntimadugu, K.K.: Sustaining moore\u2019s law in embedded computing through probabilistic and approximate design: retrospects and prospects. In: Proc. of CASES. pp. 1\u201310. ACM (2009)","DOI":"10.1145\/1629395.1629397"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Palem, K.V.: Energy aware algorithm design via probabilistic computing: From algorithms and models to Moore\u2019s Law and novel (semiconductor) devices. In: Proc. of CASES, pp. 113\u2013116 (September 2003)","DOI":"10.1145\/951710.951712"},{"issue":"9","key":"1_CR20","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.1109\/TC.2005.145","volume":"54","author":"K. Palem","year":"2005","unstructured":"Palem, K.V.: Energy aware computing through probabilistic switching: A study of limits. IEEE Trans. Computers\u00a054(9), 1123\u20131137 (2005)","journal-title":"IEEE Trans. Computers"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Polian, I., Becker, B., Nakasato, M., Ohtake, S., Fujiwara, H.: Low-Cost Hardening of Image Processing Applications Against Soft Errors. In: Proc. of the Intl. Symp. on Defect and Fault-Tolerance in VLSI Systems, pp. 274\u2013279. IEEE (2006)","DOI":"10.1109\/DFT.2006.40"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Pouwelse, J., Langendoen, K., Sips, H.: Dynamic voltage scaling on a low-power microprocessor. In: Mobile Computing and Networking, pp. 251\u2013259 (2001)","DOI":"10.1145\/381677.381701"},{"key":"1_CR23","first-page":"164","volume-title":"Proc. of PLDI","author":"A. Sampson","year":"2011","unstructured":"Sampson, A., Dietl, W., Fortuna, E., Gnanapragasam, D., Ceze, L., Grossman, D.: EnerJ: approximate data types for safe and general low-power computation. In: Proc. of PLDI, pp. 164\u2013174. ACM, New York (2011)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Singh, A., Basu, A., Ling, K., Mooney, V.J.: Modeling multi-output filtering effects in PCMOS. In: Symp. on VLSI Design, Automation and Test, pp. 1\u20134 (April 2011)","DOI":"10.1109\/VDAT.2011.5783561"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1145\/349299.349317","volume-title":"Proc. of PLDI","author":"M. Stephenson","year":"2000","unstructured":"Stephenson, M., Babb, J., Amarasinghe, S.: Bitwidth analysis with application to silicon compilation. In: Proc. of PLDI, pp. 108\u2013120. ACM, New York (2000)"}],"container-title":["Lecture Notes in Computer Science","Architecture of Computing Systems \u2013 ARCS 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28293-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T12:43:31Z","timestamp":1556369011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28293-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642282928","9783642282935"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28293-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}