Sciweavers

10891 search results - page 77 / 2179
» Combining Model Reductions
Sort
View
ICCAD
2003
IEEE
221views Hardware» more  ICCAD 2003»
15 years 8 months ago
Combined Dynamic Voltage Scaling and Adaptive Body Biasing for Heterogeneous Distributed Real-time Embedded Systems
Abstract— Dynamic voltage scaling (DVS) is a powerful technique for reducing dynamic power consumption in a computing system. However, as technology feature size continues to sca...
Le Yan, Jiong Luo, Niraj K. Jha
ENTCS
2002
129views more  ENTCS 2002»
14 years 11 months ago
Eliminating Proofs from Programs
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
Femke van Raamsdonk, Paula Severi
TWC
2010
14 years 6 months ago
A PAPR Reduction Method Based on Artificial Bee Colony Algorithm for OFDM Signals
Abstract--One of the major drawbacks of orthogonal frequency division multiplexing (OFDM) signals is the high peak to average power ratio (PAPR) of the transmitted signal. Many PAP...
Yajun Wang, Wen Chen, Chintha Tellambura
ARITH
2007
IEEE
15 years 6 months ago
Fast Modular Reduction
It is widely acknowledged that efficient modular multiplication is a key to high-performance implementation of public-key cryptography, be it classical RSA, Diffie-Hellman, or (hy...
William Hasenplaugh, Gunnar Gaubatz, Vinodh Gopal
ECML
2005
Springer
15 years 5 months ago
Fast Non-negative Dimensionality Reduction for Protein Fold Recognition
Abstract. In this paper, dimensionality reduction via matrix factorization with nonnegativity constraints is studied. Because of these constraints, it stands apart from other linea...
Oleg Okun, Helen Priisalu, Alexessander Alves