1145 search results - page 178 / 229 » The Correctness of an Optimized Code Generation |
APL
1998
ACM
15 years 4 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
EDOC
2004
IEEE
15 years 3 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
176
click to vote
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
115
click to vote
STOC
2009
ACM
16 years 13 days ago
2009
ACM
We design a linear time approximation scheme for the GaleBerlekamp Switching Game and generalize it to a wider class of dense fragile minimization problems including the Nearest C...
117
click to vote
MLDM
2007
Springer
15 years 6 months ago
2007
Springer
Recursive Feature Elimination (RFE) combined with feature ranking is an effective technique for eliminating irrelevant features when the feature dimension is large, but it is diffi...