Matthew Moskewicz
Matthew Moskewicz
Tesla
Verified email at alumni.princeton.edu
Title
Cited by
Cited by
Year
Graph-based algorithms for boolean function manipulation
RE Bryant
Computers, IEEE Transactions on 100 (8), 677-691, 1986
123741986
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
46262001
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
46142016
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
11212001
Densenet: Implementing efficient convnet descriptor pyramids
F Iandola, M Moskewicz, S Karayev, R Girshick, T Darrell, K Keutzer
arXiv preprint arXiv:1404.1869, 2014
4092014
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
2842016
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
901999
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
462003
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, YC 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
YC Lai, FE Gennari, MW Moskewicz, J Lei, W Lai
US Patent 8,079,005, 2011
322011
System and method for implementing image-based design rules
FE Gennari, YC Lai, MW Moskewicz, MC Lam, GR McIntyre
US Patent 7,653,892, 2010
322010
Fast pattern matching
FE Gennari, YC Lai, MW Moskewicz, MC Lam, GR McIntyre
US Patent 7,818,707, 2010
282010
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
YC Lai, FE Gennari, M Moskewicz, S Doddi, J Lei, W Fang, K Lay
US Patent 8,381,152, 2013
232013
Method and system for design rule checking enhanced with pattern matching
YC Lai, M Moskewicz, F Gennari
US Patent 8,086,981, 2011
232011
Densenet: Implementing efficient convnet descriptor pyramids. arXiv 2014
F Iandola, M Moskewicz, S Karayev, R Girshick, T Darrell, K Keutzer
arXiv preprint arXiv:1404.1869, 0
22
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
The system can't perform the operation now. Try again later.
Articles 1–20