Sciweavers

2539 search results - page 98 / 508
» Debugging Method Names
Sort
View
CAV
2012
Springer
236views Hardware» more  CAV 2012»
13 years 4 months ago
Lock Removal for Concurrent Trace Programs
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
Vineet Kahlon, Chao Wang
MFCS
2005
Springer
15 years 7 months ago
Approximating Polygonal Objects by Deformable Smooth Surfaces
We propose a method to approximate a polygonal object by a deformable smooth surface, namely the t-skin defined by Edelsbrunner [5]
Ho-Lun Cheng, Tony Tan
COMGEO
2008
ACM
15 years 2 months ago
Approximating polyhedral objects with deformable smooth surfaces
We propose a method to approximate a polyhedral object with a deformable smooth surface, namely the t-skin defined by Edelsbrunner
Ho-Lun Cheng, Tony Tan
TSD
2010
Springer
15 years 14 days ago
Extracting Human Spanish Nouns
In this article we present a simple method to extract Spanish nouns with the linguistic property of “human” animacy. We describe a non-supervised method based on lexical patter...
Sofía N. Galicia-Haro, Alexander F. Gelbukh
ICSE
2010
IEEE-ACM
15 years 7 months ago
Adaptive bug isolation
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
Piramanayagam Arumuga Nainar, Ben Liblit