2119 search results - page 42 / 424 » Structure-Preserving Model Reduction |
RTA
2001
Springer
15 years 2 months ago
2001
Springer
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta r...
TLCA
1997
Springer
15 years 1 months ago
1997
Springer
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...
117
click to vote
ICCD
2008
IEEE
15 years 6 months ago
2008
IEEE
— Run-time Active Leakage Reduction (RALR) is a recent technique and aims at aggressively reducing leakage power consumption. This paper studies the feasibility of RALR from the ...
JVCIR
2007
14 years 9 months ago
2007
This paper proposes a natural and efficient way to achieve staircase reduction in texture extraction models of image processing. Moreover, we propose a precise framework for this ...
PATMOS
2004
Springer
15 years 3 months ago
2004
Springer