Seguir
Markus Püschel
Markus Püschel
Professor of Computer Science, ETH Zurich, Switzerland
Email confirmado em inf.ethz.ch - Página inicial
Título
Citado por
Citado por
Ano
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
10052005
Multiplierless multiple constant multiplication
Y Voronenko, M Püschel
ACM Transactions on Algorithms (TALG) 3 (2), 11-es, 2007
5112007
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
3662013
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
3202019
Fast and effective robustness certification
G Singh, T Gehr, M Mirman, M Püschel, M Vechev
Advances in neural information processing systems 31, 2018
2952018
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
2612004
Distributed basis pursuit
JFC Mota, JMF Xavier, PMQ Aguiar, M Püschel
IEEE Transactions on Signal Processing 60 (4), 1942-1956, 2012
2152012
Algebraic signal processing theory: Foundation and 1-D time
M Püschel, JMF Moura
IEEE Transactions on Signal Processing 56 (8), 3572-3585, 2008
1642008
Active learning for multi-objective optimization
M Zuluaga, A Krause, G Sergent, M Püschel
International Conference on Machine Learning 28, 462-470, 2013
1472013
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
1402012
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
1222009
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
1222003
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
1182008
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
Boosting robustness certification of neural networks
G Singh, T Gehr, M Püschel, M Vechev
International Conference on Learning Representations, 2019
1112019
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
1112014
Algebraic signal processing theory: 1-D space
M Püschel, JMF Moura
IEEE Transactions on Signal Processing 56 (8), 3586-3599, 2008
1112008
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
1072006
Real, tight frames with maximal robustness to erasures
M Püschel, J Kovacevic
Data Compression Conference, 63-72, 2005
1032005
Distributed optimization with local domains: Applications in MPC and network flows
JFC Mota, JMF Xavier, PMQ Aguiar, M Püschel
IEEE Transactions on Automatic Control 60 (7), 2004-2009, 2014
972014
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20