[Lecture Notes in Computer Science] Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation Volume 2451 || Robust SAT-Based Search Algorithm for Leakage Power Reduction
- 作者Hochet, Bertrand; Acosta, Antonio J.; Bellido, Manuel J.
- 文件大小359.54KB
- 发表时间2002
- DOI10.1007/3-540-45716-x_17
- 页码167-177
A Vanishing Theorem for CohomologyJ. L. Alperin and Daniel Gorenstein · Proceedings of the American Mathematical Society · 1972
Inversion of an Integral TransformHarry Pollard and Harold Widom · Proceedings of the American Mathematical Society · 1958
On Certain Convolution InequalitiesLars Inge Hedberg · Proceedings of the American Mathematical Society · 1972
An Inequality for ProbabilitiesD. A. Dawson and D. Sankoff · Proceedings of the American Mathematical Society · 1967
Almost Summable SequencesJ. P. King · Proceedings of the American Mathematical Society · 1966
A Characterization of the Weyl SpectrumAndrzej Pokrzywa · Proceedings of the American Mathematical Society · 1984
Best Approximation in Metric SpacesRoshdi Khalil · Proceedings of the American Mathematical Society · 1988
Zeros of Exponential SumsD. G. Dickson · Proceedings of the American Mathematical Society · 1965