Sciweavers

722 search results - page 145 / 145
» A New Framework for Computer Science and Engineering
Sort
View
SMI
2005
IEEE
111views Image Analysis» more  SMI 2005»
13 years 11 months ago
Rational Spherical Splines for Genus Zero Shape Modeling
Traditional approaches for modeling a closed manifold surface with either regular tensor-product or triangular splines (defined over an open planar domain) require decomposing th...
Ying He 0001, Xianfeng Gu, Hong Qin
PLDI
2012
ACM
11 years 8 months ago
Test-case reduction for C compiler bugs
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Ch...