Matthew Moskewicz
Matthew Moskewicz
Tesla
Bestätigte E-Mail-Adresse bei alumni.princeton.edu
Titel
Zitiert von
Zitiert von
Jahr
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
44572001
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
32112016
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
10892001
Densenet: Implementing efficient convnet descriptor pyramids
F Iandola, M Moskewicz, S Karayev, R Girshick, T Darrell, K Keutzer
arXiv preprint arXiv:1404.1869, 2014
2842014
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
2422016
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
652016
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
572002
Shallow networks for high-accuracy road object-detection
K Ashraf, B Wu, FN Iandola, MW Moskewicz, K Keutzer
arXiv preprint arXiv:1606.01561, 2016
492016
CAMA: A multi-valued satisfiability solver
C Liu, A Kuehlmann, MW Moskewicz
ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No …, 2003
422003
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
422001
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
302011
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
302010
Fast pattern matching
FE Gennari, YC 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
222015
Method and system for design rule checking enhanced with pattern matching
YC Lai, M Moskewicz, F Gennari
US Patent 8,086,981, 2011
212011
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
192013
Chaff: Engineering an efficient SAT solver
CF Madigan, S Malik, MW Moskewicz, L Zhang, Y Zhao
Proceedings of DAC, 2001
192001
Creating a situation repository
FE Gennari, YC Lai, MW Moskewicz, MC Lam, GR McIntyre
US Patent 7,707,542, 2010
182010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20