472 search results - page 32 / 95 » Functional simulation using binary decision diagrams |
SAMOS
2010
Springer
13 years 7 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
Simulated binary crossover (SBX) is a real-parameter recombination operator which is commonly used in the evolutionary algorithm (EA) literature. The operator involves a parameter...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— We present novel exploration algorithms and a control law that enable the construction of Voronoi diagrams over unknown areas using a single autonomous vehicle equipped with ra...
ISQED
2003
IEEE
14 years 2 months ago
2003
IEEE
As the portion of coupling capacitance increases in smaller process geometries, accurate coupled noise analysis is becoming more important in current design methodologies. We prop...
DAWAK
2008
Springer
13 years 10 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...