Sciweavers

1746 search results - page 119 / 350
» A linear implementation of PACMAN
Sort
View
GLVLSI
2006
IEEE
185views VLSI» more  GLVLSI 2006»
14 years 3 months ago
Application of fast SOCP based statistical sizing in the microprocessor design flow
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interi...
Murari Mani, Mahesh Sharma, Michael Orshansky
ISCAS
2006
IEEE
108views Hardware» more  ISCAS 2006»
14 years 3 months ago
DSP engine design for LINC wireless transmitter systems
—Linear amplification with nonlinear components (LINC) technique is a linearization technique for power amplifier designs. By using LINC, the nonlinear power amplifier with high ...
Kai-Yuan Jheng, Yi-Chiuan Wang, An-Yeu Wu, Hen-Wai...
NPAR
2004
ACM
14 years 2 months ago
Ryan: rendering your animation nonlinearly projected
Artistic rendering is an important research area in Computer Graphics, yet relatively little attention has been paid to the projective properties of computer generated scenes. Mot...
Patrick Coleman, Karan Singh
FSE
2004
Springer
155views Cryptology» more  FSE 2004»
14 years 2 months ago
Algebraic Attacks on SOBER-t32 and SOBER-t16 without Stuttering
This paper presents algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering. For unstuttered SOBER-t32, two different attacks are implemented. In the first attack, we obt...
Joo Yeon Cho, Josef Pieprzyk
CAV
1999
Springer
125views Hardware» more  CAV 1999»
14 years 1 months ago
Model Checking of Safety Properties
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
Orna Kupferman, Moshe Y. Vardi