3235 search results - page 163 / 647 » Partial Redundant Modeling |
118
Voted
PLDI
1999
ACM
15 years 8 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
164
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Expressed sequence tag (EST) collections are composed of a high number of single-pass, redundant, partial sequences, which need to be processed, clustered, and annotat...
146
Voted
TPDS
2008
15 years 4 months ago
2008
To construct an efficient overlay network, the information of underlay is important. We consider using end-to-end measurement tools such as traceroute to infer the underlay topolog...
112
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
110
click to vote
RTA
2001
Springer
15 years 9 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...