407 search results - page 1 / 82 » Optimization of Linear Logic Programs Using Counting Methods |
EDBT
1992
ACM
13 years 9 months ago
1992
ACM
DAC
2006
ACM
14 years 6 months ago
2006
ACM
In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...
PODS
2010
ACM
13 years 10 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...
ATS
2003
IEEE
13 years 11 months ago
2003
IEEE
Recent probabilistic test generation approaches have proven that detecting single stuck-at faults multiple times is effective at reducing the defective part level (DPL). Unfortuna...
WSC
2008
13 years 8 months ago
2008
Discrete Rate Simulation (DRS) is a modeling methodology that uses event based logic to simulate linear continuous processes and hybrid systems. These systems are concerned with t...