Sciweavers

6120 search results - page 268 / 1224
» The Power of Linear Functions
Sort
View
ESSCIRC
2011
93views more  ESSCIRC 2011»
14 years 6 months ago
12% Power reduction by within-functional-block fine-grained adaptive dual supply voltage control in logic circuits with 42 volta
— Within-functional-block fine-grained adaptive dual supply voltage control (FADVC) is proposed to reduce the power of CMOS logic circuits. Both process and design variations wi...
Atsushi Muramatsu, Tadashi Yasufuku, Masahiro Nomu...
ICFP
2004
ACM
16 years 6 months ago
Slideshow: functional presentations
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...
Robert Bruce Findler, Matthew Flatt
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
16 years 4 days ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...
ICASSP
2008
IEEE
16 years 1 months ago
Fast noise tracking based on recursive smoothing of MMSE noise power estimates
We consider estimation of the noise spectral variance from speech signals contaminated by highly nonstationary noise sources. In each time frame, for each frequency bin, the noise...
Jan S. Erkelens, Richard Heusdens
VTC
2007
IEEE
146views Communications» more  VTC 2007»
16 years 26 days ago
Orthogonal STBC in General Nakagami-m Fading Channels: BER Analysis and Optimal Power Allocation
Abstract— We analyze the performance of multiple-input multiple-output (MIMO) systems employing orthogonal space-time block codes (STBC) in general Nakagami-m fading channels wit...
Andreas Müller, Joachim Speidel