2278 search results - page 345 / 456 » Specification Techniques for Automatic Performance Analysis ... |
104
click to vote
CGI
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. In this paper we argue for our NPAR system as an effective 2D alternative to most of NPR research which is focused on frame coherent stylised rendering of 3D models. Our ...
125
click to vote
DGO
2008
15 years 1 months ago
2008
Increasingly, taxonomies are being developed for a wide variety of industrial domains and specific applications within those domains. These industry or application specific taxono...
TAP
2008
Springer
14 years 11 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
DAC
2004
ACM
16 years 15 days ago
2004
ACM
timing analysis tools to replace standard deterministic static timing analyzers whereas [8,27] develop approaches for the statistical estimation of leakage power considering within...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Parametric models of shape and texture such as Active Appearance Models (AAMs) are diverse tools for deformable object appearance modeling and have found important applications in...