Matthew Moskewicz
Matthew Moskewicz
Tesla
Verified email at alumni.princeton.edu
Title
Cited by
Cited by
Year
Chaff: Engineering an efficient SAT solver
MW Moskewicz, CF Madigan, Y Zhao, L Zhang, S Malik
Proceedings of the 38th annual Design Automation Conference, 530-535, 2001
45432001
SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and< 0.5 MB model size
FN Iandola, S Han, MW Moskewicz, K Ashraf, WJ Dally, K Keutzer
arXiv preprint arXiv:1602.07360, 2016
38622016
Efficient conflict driven learning in a boolean satisfiability solver
L Zhang, CF Madigan, MH Moskewicz, S Malik
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEEá…, 2001
11002001
Densenet: Implementing efficient convnet descriptor pyramids
F Iandola, M Moskewicz, S Karayev, R Girshick, T Darrell, K Keutzer
arXiv preprint arXiv:1404.1869, 2014
3432014
Firecaffe: near-linear acceleration of deep neural network training on compute clusters
FN Iandola, MW Moskewicz, K Ashraf, K Keutzer
Proceedings of the IEEE Conference on Computer Vision and Patterná…, 2016
2582016
A polysilicon active matrix organic light emitting diode display with integrated drivers
RMA Dawson, Z Shen, DA Furst, S Connor, J Hsu, MG Kane, RG Stewart, ...
SID Symposium Digest of Technical Papers 30 (1), 438-441, 1999
881999
SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and< 0.5 MB model size.(2016)
FN Iandola, S Han, MW Moskewicz, K Ashraf, WJ Dally, K Keutzer
arXiv preprint arXiv:1602.07360 1 (10), 2016
572016
Developing architectural platforms: A disciplined approach
A Mihal, C Kulkarni, M Moskewicz, M Tsai, N Shah, S Weber, Y Jin, ...
IEEE Design & Test of Computers 19 (6), 6-16, 2002
562002
Shallow networks for high-accuracy road object-detection
K Ashraf, B Wu, FN Iandola, MW Moskewicz, K Keutzer
arXiv preprint arXiv:1606.01561, 2016
512016
CAMA: A multi-valued satisfiability solver
C Liu, A Kuehlmann, MW Moskewicz
ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. Noá…, 2003
432003
Accelerating boolean satisfiability through application specific processing
Y Zhao, S Malik, M Moskewicz, C Madigan
Proceedings of the 14th international symposium on Systems synthesis, 244-249, 2001
412001
System and method for analysis and transformation of layouts using situations
FE Gennari, Y Lai, MW Moskewicz, MC Lam, GR Mcintyre
US Patent 7,418,693, 2008
392008
Method and system for performing pattern classification of patterns in integrated circuit designs
Y Lai, FE Gennari, MW Moskewicz, J Lei, W Lai
US Patent 8,079,005, 2011
302011
System and method for implementing image-based design rules
FE Gennari, Y Lai, MW Moskewicz, MC Lam, GR Mcintyre
US Patent 7,653,892, 2010
302010
Fast pattern matching
FE Gennari, Y Lai, MW Moskewicz, MC Lam, GR Mcintyre
US Patent 7,818,707, 2010
272010
Audio-based multimedia event detection with DNNs and sparse sampling
K Ashraf, B Elizalde, F Iandola, M Moskewicz, J Bernd, G Friedland, ...
Proceedings of the 5th ACM on International Conference on Multimediaá…, 2015
252015
Method and system for model-based design and layout of an integrated circuit
Y Lai, FE Gennari, M Moskewicz, S Doddi, J Lei, W Fang, K Lay
US Patent 8,381,152, 2013
222013
Method and system for design rule checking enhanced with pattern matching
Y Lai, M Moskewicz, F Gennari
US Patent 8,086,981, 2011
222011
WJ, Dally, and K
FN Iandola, S Han, MW Moskewicz, K Ashraf
Keutzer. Squeezenet: Alexnet-level accuracy, with 50x fewer parameters andí 0 5, 2016
192016
Chaff: Engineering an efficient SAT solver
CF Madigan, S Malik, MW Moskewicz, L Zhang, Y Zhao
Proceedings of DAC, 2001
192001
The system can't perform the operation now. Try again later.
Articles 1–20