5159 search results - page 606 / 1032 » Structural Testing of Executables |
173
click to vote
CC
2006
Springer
15 years 11 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
209
Voted
DSD
2004
IEEE
15 years 11 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
222
click to vote
CIKM
2006
Springer
15 years 11 months ago
2006
Springer
Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation. Although several algorit...
242
click to vote
FCCM
2006
IEEE
15 years 11 months ago
2006
IEEE
The Apriori algorithm is a fundamental correlation-based data mining kernel used in a variety of fields. The innovation in this paper is a highly parallel custom architecture impl...
192
click to vote
DOOD
1995
Springer
15 years 11 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...