Eli Bendersky
Eli Bendersky
Adresse e-mail validée de google.com - Page d'accueil
Titre
Citée par
Citée par
Année
gpucc: an open-source GPGPU compiler
J Wu, A Belevich, E Bendersky, M Heffernan, C Leary, J Pienaar, B Roune, ...
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
612016
Formal verification of maneuvering target tracking
M Moulin, L Gluhovsky, E Bendersky
AIAA Guidance, Navigation, and Control Conference and Exhibit, 5716, 2003
112003
Loop and library fusion
E Bendersky, R Hundt, M Heffernan, J Wu
US Patent 9,798,527, 2017
42017
Application of Form al Verification M ethods to the
M Moulin, E Bendersky, L Gluhovsky
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–4