1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 1 cited
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro Lopez-Garcia
Automatic static cost analysis infers information about the resources used by programs without actually running them with concrete data, and presents such information as functions…
cs.DC2015★ 1 cited
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015
Francisco Corbera, Andrés Rodríguez, Rafael Asenjo +19
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Amsterdam, January 21st. Collocated with HIPEAC 2015 Conference.