10891 search results - page 471 / 2179 » Combining Model Reductions |
207
click to vote
ACRI
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...
155
click to vote
ASPDAC
2005
ACM
16 years 26 days ago
2005
ACM
-We propose a method involvingselectivesignalgating to minimize power dissipation in current-mode CMOS analog and multiple-valued logic (MVL) circuits employing a stack of current ...
198
click to vote
FCT
2005
Springer
16 years 25 days ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
190
click to vote
SAC
2004
ACM
16 years 22 days ago
2004
ACM
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
224
click to vote
FPL
2003
Springer
16 years 16 days ago
2003
Springer
In this paper we propose a design space exploration method targeting reconfigurable architectures that takes place at the algorithmic level and aims to rapidly highlight architect...