Symbolic synthesis of clock-gating logic for power optimization of synchronous controllers
- 期刊名称ACM Transactions on Design Automation of Electronic Systems
- 作者Benini, L.; De Micheli, G.; Macii, E.; Poncino, M.; Scarsi, R.
- 卷第4卷
- 期第4期
- 印刷ISSN1084-4309
- 文件大小166.70KB
- 发表时间1999-10-1
- DOI10.1145/323480.323482
- 页码351-375
On pebble automataJik H. Chang; Oscar H. Ibarra; Michael A. Palis; B. Ravikumar · 1986
On iterative and cellular tree arraysOscar H. Ibarra; Tao Jiang; Jik H. Chang · 1989
On efficient recognition of transductions and relationsOscar H. Ibarra; Michael A. Palis; Jik H. Chang · 1985
Some classes of languages in NC1Oscar H. Ibarra; Tao Jiang; Jik H. Chang; Bala Ravikumar · 1991
Systolic algorithms for some scheduling and graph problemsOscar H. Ibarra; Tao Jiang; Jik H. Chang; Michael A. Palis · 1990
Finite automata with multiplicationOscar H. Ibarra; Sartaj K. Sahni; Chul E. Kim · 1976
On two-way multihead automataOscar H. Ibarra · 1973
(Semi)alternating stack automataEitan M. Gurari; Oscar H. Ibarra · Theory of Computing Systems · 1981-1982
Abstraction in query processingImielinski, Tomasz · Journal of the ACM · 1991
The PCP theorem by gap amplificationDinur, Irit · Journal of the ACM · 2007
New Methods in Automatic ExtractingEdmundson, H. P. · Journal of the ACM · 1969
Inference of Reversible LanguagesAngluin, Dana · Journal of the ACM · 1982
Eigenvalues and expansion of regular graphsKahale, Nabil · Journal of the ACM · 1995
An Algorithm for Convex PolytopesChand, Donald R.; Kapur, Sham S. · Journal of the ACM · 1970
How to construct random functionsGoldreich, Oded; Goldwasser, Shafi; Micali, Silvio · Journal of the ACM · 1986
An Algorithm for Subgraph IsomorphismUllmann, J. R. · Journal of the ACM · 1976