472 search results - page 32 / 95 » Functional simulation using binary decision diagrams |
195
click to vote
SAMOS
2010
Springer
15 years 4 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...
156
click to vote
GECCO
2007
Springer
16 years 2 days 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...
130
Voted
CDC
2009
IEEE
15 years 10 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...
152
click to vote
ISQED
2003
IEEE
15 years 11 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...
133
click to vote
DAWAK
2008
Springer
15 years 7 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 ...