Sciweavers

1494 search results - page 47 / 299
» Bottom-Up Shape Analysis
Sort
View
FASE
2010
Springer
16 years 25 days ago
Shape Refinement through Explicit Heap Analysis
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
ICB
2009
Springer
135views Biometrics» more  ICB 2009»
16 years 16 days ago
Nasal Region Contribution in 3D Face Biometrics Using Shape Analysis Framework
Hassen Drira, Boulbaba Ben Amor, Mohamed Daoudi, A...
IPPS
2008
IEEE
16 years 12 days 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»
15 years 11 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv