10891 search results - page 471 / 2179 » Combining Model Reductions |
186
Voted
ACRI
2006
Springer
16 years 26 days 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...
144
Voted
ASPDAC
2005
ACM
16 years 13 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 ...
191
Voted
FCT
2005
Springer
16 years 11 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...
178
Voted
SAC
2004
ACM
16 years 8 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...
212
click to vote
FPL
2003
Springer
16 years 2 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...