Towards a General Framework for Static Cost Analysis of Parallel Logic Programs

Maximiliano Klemen, Pedro Lopez-Garcia, John P. Gallagher +2

The estimation and control of resource usage is now an important challenge in an increasing number of computing systems. In particular, requirements on timing and energy arise in a…