Sciweavers

313 search results - page 47 / 63
» Static analysis for syntax objects
Sort
View
TOG
2008
926views more  TOG 2008»
13 years 7 months ago
3D-modeling by ortho-image generation from image sequences
A semi-automatic approach is presented that enables the generation of a high-quality 3D model of a static object from an image sequence that was taken by a moving, uncalibrated co...
Thorsten Thormählen, Hans-Peter Seidel
MIDDLEWARE
2010
Springer
13 years 6 months ago
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories
Abstract. Developing efficient distributed applications while managing complexity can be challenging. Managing network latency is a key challenge for distributed applications. We ...
Alokika Dash, Brian Demsky
CORR
2010
Springer
237views Education» more  CORR 2010»
13 years 5 months ago
Featureless 2D-3D Pose Estimation by Minimising an Illumination-Invariant Loss
The problem of identifying the 3D pose of a known object from a given 2D image has important applications in Computer Vision ranging from robotic vision to image analysis. Our pro...
Srimal Jayawardena, Marcus Hutter, Nathan Brewer
PLDI
2003
ACM
14 years 29 days ago
A practical flow-sensitive and context-sensitive C and C++ memory leak detector
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
David L. Heine, Monica S. Lam
AOSD
2008
ACM
13 years 9 months ago
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
Guoqing Xu, Atanas Rountev