Sciweavers

3190 search results - page 58 / 638
» cans 2011
Sort
View
121
Voted
NFM
2011
223views Formal Methods» more  NFM 2011»
14 years 7 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
SIAMSC
2011
153views more  SIAMSC 2011»
14 years 7 months ago
Stable Computations with Gaussian Radial Basis Functions
Abstract. Radial basis function (RBF) approximation is an extremely powerful tool for representing smooth functions in non-trivial geometries, since the method is meshfree and can ...
Bengt Fornberg, Elisabeth Larsson, Natasha Flyer
114
Voted
TCOM
2011
170views more  TCOM 2011»
14 years 7 months ago
On Girth Conditioning for Low-Density Parity-Check Codes
—Low-density parity-check (LDPC) codes are gaining interest for high data rate applications in both terrestrial and spatial communications. They can be designed and studied throu...
Samuele Bandi, Velio Tralli, Andrea Conti, Maddale...
83
Voted
TIM
2011
108views more  TIM 2011»
14 years 7 months ago
A Low-Cost Method for Measuring Surface Currents and Modeling Drifting Objects
—The ability to measure and model water currents is essential to ensure the safety and correct operations of many water surface activities. For example, the complex currents in h...
Huang-Chen Lee, Chun-Yu Lin, Chun-Han Lin, Sheng-W...
TIP
2011
84views more  TIP 2011»
14 years 7 months ago
Optimal Inversion of the Anscombe Transformation in Low-Count Poisson Image Denoising
—The removal of Poisson noise is often performed through the following three-step procedure. First, the noise variance is stabilized by applying the Anscombe root transformation ...
Markku Makitalo, Alessandro Foi