共 50 条
- [43] Efficient Large-Scale Model Checking 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 201 - +
- [46] Efficient Large-Scale Structured Learning 2013 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), 2013, : 1806 - 1813
- [48] Efficient and Effective DigitalWaveform Compression for Large-scale Logic Simulation of Integrated Circuit PROCEEDINGS OF THE GREAT LAKES SYMPOSIUM ON VLSI 2023, GLSVLSI 2023, 2023, : 373 - 377