3707 search results - page 139 / 742 » A Simple Technique for Self-Calibration |
DM
2006
14 years 10 months ago
2006
The forcing number of a perfect matching M of a graph G is the cardinality of the smallest subset of M that is contained in no other perfect matching of G. In this paper, we demon...
83
Voted
ENTCS
2006
14 years 10 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
73
Voted
IPL
2006
14 years 10 months ago
2006
We present a simple family of algorithms for solving the Generalized Assignment Problem (GAP). Our technique is based on a novel combinatorial translation of any algorithm for the...
TOPLAS
1998
14 years 10 months ago
1998
A new compilation technique for left-linear term-rewriting systems is presented, where rewrite rules are transformed into so-called minimal rewrite rules. These minimal rules have...
HPCA
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents three techniques for improving the effectiveness of the recently proposed Adaptive Stream Detection (ASD) prefetching mechanism. The ASD prefetcher is a standa...