10891 search results - page 339 / 2179 » Combining Model Reductions |
117
click to vote
ISLPED
1995
ACM
15 years 8 months ago
1995
ACM
We present a technique that automatically synthesizes nite state machines with gated clocks to reduce the power dissipation of the nal implementation. We describe a new transfor...
123
click to vote
BMVC
2002
15 years 7 months ago
2002
Methods for extracting features and classifying textures in high resolution colour images are presented. The proposed features are directional texture features obtained from the c...
105
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
111
click to vote
DEDS
2008
15 years 4 months ago
2008
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...
153
click to vote
IM
2007
15 years 4 months ago
2007
We consider the combination of two ideas from the hashing literature: the power of two choices and Bloom filters. Specifically, we show via simulations that, in comparison with a...