Folgen
Markus Püschel
Markus Püschel
Professor of Computer Science, ETH Zurich, Switzerland
Bestätigte E-Mail-Adresse bei inf.ethz.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
SPIRAL: Code generation for DSP transforms
M Püschel, JMF Moura, JR Johnson, D Padua, MM Veloso, BW Singer, ...
Proceedings of the IEEE 93 (2), 232-275, 2005
10432005
Multiplierless multiple constant multiplication
Y Voronenko, M Püschel
ACM Transactions on Algorithms (TALG) 3 (2), 11-es, 2007
5352007
An abstract domain for certifying neural networks
G Singh, T Gehr, M Püschel, M Vechev
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
4882019
Fast and effective robustness certification
G Singh, T Gehr, M Mirman, M Püschel, M Vechev
Advances in neural information processing systems 31, 2018
4092018
D-ADMM: A communication-efficient distributed algorithm for separable optimization
JFC Mota, JMF Xavier, PMQ Aguiar, M Püschel
IEEE Transactions on Signal Processing 61 (10), 2718-2723, 2013
4022013
Spiral: A generator for platform-adapted libraries of signal processing algorithms
M Püschel, JMF Moura, B Singer, JX Xiong, J Johnson, D Padua, ...
International Journal of High Performance Computing Applications 18 (2), 279-279, 2004
2652004
Distributed basis pursuit
JFC Mota, JMF Xavier, PMQ Aguiar, M Püschel
IEEE Transactions on Signal Processing 60 (4), 1942-1956, 2012
2282012
Algebraic signal processing theory: Foundation and 1-D time
M Püschel, JMF Moura
IEEE Transactions on Signal Processing 56 (8), 3572-3585, 2008
1772008
Active learning for multi-objective optimization
M Zuluaga, A Krause, G Sergent, M Püschel
International Conference on Machine Learning 28, 462-470, 2013
1702013
Boosting robustness certification of neural networks
G Singh, T Gehr, M Püschel, M Vechev
International Conference on Learning Representations, 2019
1442019
Computer generation of hardware for linear digital signal processing transforms
P Milder, F Franchetti, JC Hoe, M Püschel
ACM Transactions on Design Automation of Electronic Systems (TODAES) 17 (2 …, 2012
1442012
The algebraic approach to the discrete cosine and sine transforms and their fast algorithms
M Püschel, JMF Moura
SIAM Journal on Computing 32 (5), 1280-1316, 2003
1312003
Beyond the single neuron convex barrier for neural network certification
G Singh, R Ganvir, M Püschel, M Vechev
Advances in Neural Information Processing Systems, 15072-15083, 2019
1302019
Algebraic signal processing theory: Cooley–Tukey type algorithms for DCTs and DSTs
M Püschel, JMF Moura
IEEE Transactions on Signal Processing 56 (4), 1502-1521, 2008
1292008
Applying the roofline model
G Ofenbeck, R Steinmann, V Caparros, DG Spampinato, M Püschel
Performance Analysis of Systems and Software (ISPASS), 2014 IEEE …, 2014
1272014
Discrete Fourier transform on multicore
F Franchetti, M Püschel, Y Voronenko, S Chellappa, JMF Moura
IEEE Signal Processing Magazine 26 (6), 90-102, 2009
1242009
Algebraic signal processing theory: 1-D space
M Püschel, JMF Moura
IEEE Transactions on Signal Processing 56 (8), 3586-3599, 2008
1212008
Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling
CF Fang, RA Rutenbar, M Püschel, T Chen
Design Automation Conference (DAC), 496-501, 2003
1162003
FFT program generation for shared memory: SMP and multicore
F Franchetti, Y Voronenko, M Püschel
SC 2006 Conference, Proceedings of the ACM/IEEE, 51-51, 2006
1092006
Real, tight frames with maximal robustness to erasures
M Püschel, J Kovacevic
Data Compression Conference, 63-72, 2005
1062005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20