4482 search results - page 74 / 897 » The Crowdsourcing Design Space |
GECCO
2000
Springer
13 years 11 months ago
2000
Springer
This paper proposes a new crossover operator for searching over discrete probability spaces. The design of the operator is considered in the light of recent theoretical insights i...
DCC
2008
IEEE
14 years 7 months ago
2008
IEEE
A simple replacement approach is used to construct new symmetric and affine designs from projective or affine spaces. This is used to construct symmetric designs with a given autom...
GLVLSI
2009
IEEE
14 years 2 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
DATE
2000
IEEE
14 years 3 days ago
2000
IEEE
: We address the issue of standards development for the system-level design space. System-level design IP re-use standards are key to the future of the VSIA. However, the concept o...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
— We present SoCExplore, a framework for fast communicationcentric design space exploration of complex SoCs with networkbased interconnects. Speed-up in exploration is achieved t...