6040 search results - page 557 / 1208 » Generating Instance Models from Meta Models |
214
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
219
Voted
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a high performance reconstruction approach, which generates true 3D models from multiple views with known camera parameters. The complete pipeline from depth map genera...
211
Voted
ICB
2009
Springer
15 years 5 months ago
2009
Springer
We present generative models dedicated to face recognition. Our models consider data extracted from color face images and use Bayesian Networks to model relationships between diffe...
207
click to vote
SBCCI
2005
ACM
16 years 25 days ago
2005
ACM
The designer of a system on a chip (SoC) that connects IP cores through a network on chip (NoC) needs methods to support application performance evaluation. Two key aspects these ...
214
click to vote
AMOST
2007
ACM
15 years 11 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...