The development of energy-conscious embedded and/or mobile systems exposes a trade-off between energy consumption and system performance. Recent microprocessors have incorporated ...
Ankush Varma, Brinda Ganesh, Mainak Sen, Suchismit...
In this paper we propose SKIN as an interdisciplinary design approach for sophisticated interactive surfaces, with an emphasis on their meanings and aesthetic qualities. SKIN: Sur...
Heekyoung Jung, Youngsuk L. Altieri, Jeffrey Bardz...
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
Motivated by applications of rateless coding, decision feedback, and automatic repeat request (ARQ), we study the problem of universal decoding for unknown channels in the presence...
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...