10802 search results - page 182 / 2161 » Generative and developmental systems |
ASPDAC
2009
ACM
14 years 3 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
HICSS
2000
IEEE
14 years 3 months ago
2000
IEEE
: In restructured electric power industries around the world, power pool designers have enabled generators to earn revenues consisting of energy and capacity payments. This paper d...
DAC
1994
ACM
14 years 2 months ago
1994
ACM
Recent results indicate that functional test pattern generation (TPG) techniques may provide better defect coverages than do traditional logic-level techniques. Functional TPG alg...
ITP
2010
14 years 2 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
CGVR
2008
14 years 3 days ago
2008
- We describe the algorithms we have developed to automatically generate street networks and building plots in the automatic procedural creation of a realistic city. Our system fir...