Author:
Albert Elvira,Arenas Puri,Genaim Samir,Gómez-Zamalloa Miguel,Puebla German
Publisher
Springer Berlin Heidelberg
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and Analyzing Evaluation Cost of CUDA Kernels;ACM Transactions on Parallel Computing;2024-03-12
2. Modeling and analyzing evaluation cost of CUDA kernels;Proceedings of the ACM on Programming Languages;2021-01-04
3. A General Framework for Static Cost Analysis of Parallel Logic Programs;Logic-Based Program Synthesis and Transformation;2020
4. Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings;Journal of Automated Reasoning;2016-12-17
5. Static analysis of cloud elasticity;Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming;2015-07-14