Sciweavers

1702 search results - page 3 / 341
» Doomed program points
Sort
View
102
Voted
PLDI
1996
ACM
15 years 6 months ago
Printing Floating-Point Numbers Quickly and Accurately
Robert G. Burger, R. Kent Dybvig
68
Voted
APLAS
2008
ACM
15 years 4 months ago
A Sound Floating-Point Polyhedra Abstract Domain
Liqian Chen, Antoine Miné, Patrick Cousot
115
Voted
ICIP
2009
IEEE
14 years 12 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
132
Voted
HCI
2009
14 years 12 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
175
Voted
CC
2012
Springer
271views System Software» more  CC 2012»
13 years 10 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