AdaComp: Adaptive Residual Gradient Compression for Data-Parallel Distributed Training | 9 | 0.64 | 2018 |
MEC: Memory-efficient Convolution for Deep Neural Network. | 4 | 0.39 | 2017 |
PARADIS: an efficient parallel algorithm for in-place radix sort | 14 | 1.08 | 2015 |
Efficient Gpu Implementation Of Convolutional Neural Networks For Speech Recognition | 0 | 0.34 | 2015 |
Early analysis tools for system-on-a-chip design | 22 | 2.55 | 2002 |
Don't cares in synthesis: theoretical pitfalls and practical solutions | 3 | 0.44 | 1998 |
BooleDozer: logic synthesis for ASICs | 42 | 4.81 | 1996 |
Be careful with don't cares | 12 | 1.23 | 1995 |
Efficient use of large don't cares in high-level and logic synthesis | 9 | 0.99 | 1995 |
Exhaustive simulation need not require an exponential number of tests | 7 | 0.89 | 1993 |
Timing analysis using functional analysis | 47 | 17.18 | 1988 |
Redundancy and Don't Cares in Logic Synthesis | 34 | 22.61 | 1983 |
Symbolic simulation for correct machine design | 29 | 5.30 | 1979 |
A note on data abstractions | 3 | 1.70 | 1978 |
Microprogram verification considered necessary. | 19 | 4.14 | 1978 |
Using Machine Descriptions in Program Verification | 2 | 0.72 | 1978 |
Verification of Protocols Using Symbolic Execution | 36 | 19.64 | 1978 |