Sciweavers

7280 search results - page 248 / 1456
» Optimization Techniques
Sort
View
PODS
2005
ACM
124views Database» more  PODS 2005»
16 years 6 months ago
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...
Serge Abiteboul, Stefan Haar, Tova Milo, Zoë ...
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
15 years 10 months ago
Timing optimization by bit-level arithmetic transformations
This paper describes a method to optimize the performance of data paths. It is based on bit-level arithmetic transformations, and is especially suited to optimize large adder stru...
Luc Rijnders, Zohair Sahraoui, Paul Six, Hugo De M...
AAAI
1994
15 years 8 months ago
Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning
We present a theory of a modeler's problem decomposition skills in the context of optimal reasonzng -- the use of qualitative modeling to strategically guide numerical explor...
Brian C. Williams, Jonathan Cagan
ENTCS
2002
79views more  ENTCS 2002»
15 years 6 months ago
Debugging and Testing Optimizers through Comparison Checking
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
ICASSP
2011
IEEE
14 years 10 months ago
Sparse frequency waveform design based on PSD fitting
New method for designing sparse frequency waveform with sidelobe constraint is proposed in this paper. First, optimal power spectrum density (PSD) corresponding to minimum integra...
Guohua Wang, Yilong Lu