4482 search results - page 74 / 897 » The Crowdsourcing Design Space |
100
Voted
GECCO
2000
Springer
15 years 4 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...
91
Voted
DCC
2008
IEEE
16 years 5 days 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...
106
Voted
GLVLSI
2009
IEEE
15 years 7 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...
91
Voted
DATE
2000
IEEE
15 years 5 months 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
15 years 2 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...