Sciweavers

1312 search results - page 101 / 263
» Formally Optimal Boxing
Sort
View
TASLP
2010
153views more  TASLP 2010»
13 years 7 months ago
On Optimal Frequency-Domain Multichannel Linear Filtering for Noise Reduction
Abstract—Several contributions have been made so far to develop optimal multichannel linear filtering approaches and show their ability to reduce the acoustic noise. However, th...
Mehrez Souden, Jacob Benesty, Sofiène Affes
ICDE
2007
IEEE
114views Database» more  ICDE 2007»
14 years 10 months ago
A Load Shedding Framework and Optimizations for M-way Windowed Stream Joins
Tuple dropping, though commonly used for load shedding in most stream operations, is inadequate for m-way, windowed stream joins. The join output rate can be overly reduced becaus...
Bugra Gedik, Kun-Lung Wu, Philip S. Yu, Ling Liu
POPL
2010
ACM
14 years 4 months ago
Compress-and-conquer for optimal multicore computing
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...
Zhijing G. Mou, Hai Liu, Paul Hudak
CASES
2007
ACM
14 years 1 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
SODA
2010
ACM
174views Algorithms» more  SODA 2010»
13 years 7 months ago
Differentially Private Combinatorial Optimization
Consider the following problem: given a metric space, some of whose points are "clients," select a set of at most k facility locations to minimize the average distance f...
Anupam Gupta, Katrina Ligett, Frank McSherry, Aaro...