Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

FASE
2010
Springer

favoriteEmaildiscussreport

129views Software Engineering» more FASE 2010»

Shape Refinement through Explicit Heap Analysis

13 years 11 months ago

Shape Refinement through Explicit Heap Analysis

Download www.sosy-lab.org

Dirk Beyer, Thomas A. Henzinger, Grégory Th

Real-time Traffic

FASE 2010 | Software Engineering |

claim paper

Related Content

» Regionbased shape analysis with tracked locations

» Wormholes in Shape Space Tracking Through Discontinuous Changes in Shape

» Lazy Shape Analysis

» ThreadModular Shape Analysis

» Shape Analysis with Reference Set Relations

» A Refined Electrical Model for Particle Strikes and its Impact on SEU Prediction

» Regionofinterest volumetric visual hull refinement

» Model Transformations in the ModelBased Development of Realtime Systems

» Airy Phenomena and Analytic Combinatorics of Connected Graphs

Post Info
More Details (n/a)

Added	18 May 2010
Updated	18 May 2010
Type	Conference
Year	2010
Where	FASE
Authors	Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey

Comments (0)