Sciweavers

610 search results - page 25 / 122
» Fast Modular Reduction
Sort
View
PLDI
2012
ACM
11 years 9 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...
SSS
2009
Springer
14 years 1 months ago
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation
: The Borowsky-Gafni (BG) simulation algorithm is a powerful tool that allows a set of t + 1 asynchronous sequential processes to wait-free simulate (i.e., despite the crash of up ...
Damien Imbs, Michel Raynal
FOCS
2004
IEEE
13 years 11 months ago
Worst-Case to Average-Case Reductions Based on Gaussian Measures
We show that finding small solutions to random modular linear equations is at least as hard as approximating several lattice problems in the worst case within a factor almost line...
Daniele Micciancio, Oded Regev
PCM
2004
Springer
114views Multimedia» more  PCM 2004»
14 years 22 days ago
Key Techniques of Bit Rate Reduction for H.264 Streams
In previous techniques of bit rate reduction transcoding, reusing the mode of the input MB is widely adopted. However, directly re-using the mode of input MB will cause additional ...
Peng Zhang, Qingming Huang, Wen Gao
CGA
2005
13 years 7 months ago
A Novel Monte Carlo Noise Reduction Operator
A novel Monte Carlo noise reduction operator is proposed in this paper. We apply and extend the standard bilateral filtering method and build a new local adaptive noise reduction k...
Ruifeng Xu, Sumanta N. Pattanaik