Author of the publication

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.

, , , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 431-432. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards Energy Consumption Verification via Static Analysis., , , , and . CoRR, (2015)Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types., , and . CoRR, (2013)Exploring the feasibility of reputation systems under churn., , and . IEEE Communications Letters, 13 (7): 558-560 (2009)Serverless Data Analytics in the IBM Cloud., , , and . Middleware Industry, page 1-8. ACM, (2018)Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System., , , and . Euro-Par, volume 3149 of Lecture Notes in Computer Science, page 21-36. Springer, (2004)Stochastic vs. deterministic evolutionary algorithm-based allocation and scheduling for XMOS chips., and . Neurocomputing, (2015)POPEYE: providing collaborative services for ad hoc and spontaneous communities., , , , , , , and . Serv. Oriented Comput. Appl., 3 (1): 25-45 (2009)Computing Abstract Distances in Logic Programs., , , and . CoRR, (2019)An overview of Ciao and its design philosophy, , , , , , and . CoRR, (2011)Giving wings to your data: A first experience of Personal Cloud interoperability., , , , , , , , , and . Future Gener. Comput. Syst., (2018)