4609 search results - page 32 / 922 » Automatic Generation of Sigma-Protocols |
126
click to vote
CGVR
2008
15 years 6 months 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...
122
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an innovative algorithm for the automatic generation of March Tests. The proposed approach is able to generate an optimal March Test for an unconstrained set o...
146
click to vote
IJBC
2006
15 years 4 months ago
2006
Graph automata define symbol dynamics on graph structures, which has capability of generating structures in addition to state transition. The rules of the graph automata are unifo...
176
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
140
click to vote
ISVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
Contemporary SoC design involves the proper selection of cores from a reference platform. Such selection implies the design exploration of alternative CPUs, which requires the gen...