Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Certified Timing Verification and the Transition Delay of a Logic Circuit.

S. Devadas, K. Keutzer, S. Malik, and A. Wang. DAC, page 549-555. (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kurt Lichtenberg University of Stuttgart

Hon. -Prof. Dr. Kurt Wagemann University of Stuttgart

Daniel Kurth University of Stuttgart

Prof. Dr. Kurt Rothermel University of Stuttgart

Prof. Dr. -Ing. Kurt Feser University of Stuttgart

Other publications of authors with the same name

Hardware/software codesign for mobile speech recognition.D. Sheffield, M. Anderson, Y. Lee, and K. Keutzer. INTERSPEECH, page 627-631. ISCA, (2013)Switching Window Computation for Static Timing Analysis in Presence of Crosstalk Noise.P. Chen, D. Kirkpatrick, and K. Keutzer. ICCAD, page 331-337. IEEE Computer Society, (2000)Synetgy: Algorithm-hardware Co-design for ConvNet Accelerators on Embedded FPGAs.Y. Yang, Q. Huang, B. Wu, T. Zhang, L. Ma, G. Gambardella, M. Blott, L. Lavagno, K. Vissers, J. Wawrzynek and 1 other author(s). CoRR, (2018)Mixed Precision Quantization of ConvNets via Differentiable Neural Architecture Search.B. Wu, Y. Wang, P. Zhang, Y. Tian, P. Vajda, and K. Keutzer. CoRR, (2018)SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and <1MB model size.F. Iandola, M. Moskewicz, K. Ashraf, S. Han, W. Dally, and K. Keutzer. CoRR, (2016)SqueezeSegV2: Improved Model Structure and Unsupervised Domain Adaptation for Road-Object Segmentation from a LiDAR Point Cloud.B. Wu, X. Zhou, S. Zhao, X. Yue, and K. Keutzer. ICRA, page 4376-4382. IEEE, (2019)SqueezeSeg: Convolutional Neural Nets with Recurrent CRF for Real-Time Road-Object Segmentation from 3D LiDAR Point Cloud.B. Wu, A. Wan, X. Yue, and K. Keutzer. ICRA, page 1887-1893. IEEE, (2018)Verification of asynchronous interface circuits with bounded wire delays.S. Devadas, K. Keutzer, S. Malik, and A. Wang. ICCAD, page 188-195. IEEE Computer Society / ACM, (1992)Shift: A Zero FLOP, Zero Parameter Alternative to Spatial Convolutions.B. Wu, A. Wan, X. Yue, P. Jin, S. Zhao, N. Golmant, A. Gholaminejad, J. Gonzalez, and K. Keutzer. CVPR, page 9127-9135. IEEE Computer Society, (2018)Hessian-based Analysis of Large Batch Training and Robustness to Adversaries.Z. Yao, A. Gholami, Q. Lei, K. Keutzer, and M. Mahoney. NeurIPS, page 4954-4964. (2018)

PUMA

Disambiguation of "Keutzer, Kurt"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Certified Timing Verification and the Transition Delay of a Logic Circuit.

Please choose a person to relate this publication to

Kurt Lichtenberg University of Stuttgart

Hon. -Prof. Dr. Kurt Wagemann University of Stuttgart

Daniel Kurth University of Stuttgart

Prof. Dr. Kurt Rothermel University of Stuttgart

Prof. Dr. -Ing. Kurt Feser University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Keutzer, Kurt"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Certified Timing Verification and the Transition Delay of a Logic Circuit.

Please choose a person to relate this publication to

Kurt Lichtenberg University of Stuttgart

Hon. -Prof. Dr. Kurt Wagemann University of Stuttgart

Daniel Kurth University of Stuttgart

Prof. Dr. Kurt Rothermel University of Stuttgart

Prof. Dr. -Ing. Kurt Feser University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Certified Timing Verification and the Transition Delay of a Logic Circuit.