2006 search results - page 119 / 402 » Heuristic Security-Testing Methods |
114
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we provide a flexible and automatic method to partition the functional space for efficient symbolic simulation. We utilize a 2-tuple list representation as the basi...
114
click to vote
DSD
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper describes principles of a novel two-level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a ...
101
click to vote
EVOW
2006
Springer
15 years 6 months ago
2006
Springer
This paper proposes an evolutionary algorithm (EA) that is applied to the traveling salesman problem (TSP). Existing approximation methods to address the TSP known to be state-of-t...
136
Voted
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
This paper deals with address assignment in code generation for digital signal processors (DSPs) with SIMD (single instruction multiple data) memory accesses. In these processors ...
124
click to vote
ADBIS
1995
Springer
15 years 6 months ago
1995
Springer
One of the most important operations in spatial access needed systems are spatial joins. Using for processing such operations R-tree like structures is intensively studies now. Th...