1942 search results - page 116 / 389 » Speeding Up XTR |
167
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
We propose a load balancing heuristic for parallel adaptive finite element method (FEM) simulations. In contrast to most existing approaches, the heuristic focuses on good partit...
178
click to vote
MTV
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
170
click to vote
MTV
2005
IEEE
15 years 12 months ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
155
click to vote
PREMI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We develop a framework for parallel computation of the optimal rough set decision reducts from data. We adapt the island model for evolutionary computing. The idea is to ...
146
click to vote
WLP
2005
Springer
15 years 12 months ago
2005
Springer
Constraint Propagation can be speeded up significantly by choosing a good execution order for propagators. A propagator is an implicit representation of a constraint which is wide...