Verifying deep logic hierarchies with ALEX
- George M. Koppelman
- Klim Maling
- 1980
- DAC 1980
Publications
Date
Featured collections
Popular topics
8904 results for Computer Science
A new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Minimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- Manuel Correia
- Donald Cossman
- et al.
- 1970
- DAC 1970
Quality of designs from an automatic logic generator (ALERT)
- Theodore D. Friedman
- Sih-Chin Yang
- 1970
- DAC 1970
Global Area Sampling for Geospatial Foundation Model
- 2024
- AGU 2024
Reliability Evaluation of Automated Tape Library Systems
- 2024
- MASCOTS 2024
Optimizing GPU Multiplexing for Efficient and Cost-Effective Access to Diverse Large Language Models in GPU Clusters
- Yue Zhu
- Chen Wang
- et al.
- 2024
- MASCOTS 2024
Securing Floating-Point Arithmetic for Noise Addition
- 2024
- CCS 2024
SeaK: Rethinking the Design of a Secure Allocator for OS Kernel
- Zicheng Wang
- Yicheng Guang
- et al.
- 2024
- USENIX Security 2024
Learning Optimal Projection for Forecast Reconciliation of Hierarchical Time Series
- Asterios Tsiourvas
- Wei Sun
- et al.
- 2024
- ICML 2024