Sciweavers

1702 search results - page 3 / 341
» Doomed program points
Sort
View
APLAS
2008
ACM
14 years 26 days ago
A Sound Floating-Point Polyhedra Abstract Domain
Liqian Chen, Antoine Miné, Patrick Cousot
ICIP
2009
IEEE
13 years 8 months ago
Lamp: Linear approach for matching points
The 3D object recognition from a single or multiple 2D images is a very important problem in the computer vision field with a wide range of real applications. Considering the affi...
Manuel Marques, João Costeira
HCI
2009
13 years 8 months ago
Interactive Demonstration of Pointing Gestures for Virtual Trainers
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...
Yazhou Huang, Marcelo Kallmann
CC
2012
Springer
271views System Software» more  CC 2012»
12 years 6 months ago
Parallel Replication-Based Points-To Analysis
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
Sandeep Putta, Rupesh Nasre