1192 search results - page 2 / 239 » Symbolic Query Exploration |
ASAP
2005
IEEE
13 years 10 months ago
2005
IEEE
The task of automatic design space exploration of heterogeneous multi-processor systems is often tackled with Evolutionary Algorithms. In this paper, we propose a novel approach i...
GECCO
2005
Springer
13 years 10 months ago
2005
Springer
This paper will propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence of the algorithm in the presence of larg...
EURODAC
1994
IEEE
13 years 9 months ago
1994
IEEE
Symbolic state space exploration techniques for Finite State Machines (FSMs) are a major recent result in CAD for VLSI. Most of them are exact and based on forward traversal, but ...
DSN
2009
IEEE
13 years 11 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
HPCC
2007
Springer
13 years 8 months ago
2007
Springer
Vector, emerging (homogenous and heterogeneous) multi-core and a number of accelerator processing devices potentially offer an order of magnitude speedup for scientific application...