Sciweavers

1494 search results - page 47 / 299
» Bottom-Up Shape Analysis
Sort
View
FASE
2010
Springer
14 years 2 months ago
Shape Refinement through Explicit Heap Analysis
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
ICB
2009
Springer
135views Biometrics» more  ICB 2009»
14 years 2 months ago
Nasal Region Contribution in 3D Face Biometrics Using Shape Analysis Framework
Hassen Drira, Boulbaba Ben Amor, Mohamed Daoudi, A...
IPPS
2008
IEEE
14 years 2 months ago
Parallelizing irregular C codes assisted by interprocedural shape analysis
Rafael Asenjo, Rosa Castillo, Francisco Corbera, A...
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
14 years 1 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv