Sciweavers

366 search results - page 25 / 74
» Four equivalent equivalences of reductions
Sort
View
ISLPED
1996
ACM
105views Hardware» more  ISLPED 1996»
15 years 4 months ago
Energy delay analysis of partial product reduction methods for parallel multiplier implementation
This paper examines the energy delay implications of partial product reduction methods employed in parallel multiplier implementations. Radix 4 Modified Booth Algorithm (MBA) is c...
R. V. K. Pillai, Dhamin Al-Khalili, Asim J. Al-Kha...
120
Voted
ENTCS
2008
106views more  ENTCS 2008»
15 years 23 days ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
101
Voted
IEEEICCI
2005
IEEE
15 years 6 months ago
Theoretical study on a new information entropy and its use in attribute reduction
The positive region in rough set framework and Shannon conditional entropy are two traditional uncertainty measurements, used usually as heuristic metrics in attribute reduction. ...
Ping Luo, Qing He, Zhongzhi Shi
102
Voted
CHARME
2005
Springer
145views Hardware» more  CHARME 2005»
15 years 2 months ago
Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
Jason Baumgartner, Hari Mony
88
Voted
TASLP
2002
84views more  TASLP 2002»
15 years 10 days ago
Substate tying with combined parameter training and reduction in tied-mixture HMM design
Two approaches are proposed for the design of tied-mixture hidden Markov models (TMHMM). One approach improves parameter sharing via partial tying of TMHMM states. To facilitate ty...
Liang Gu, Kenneth Rose