Alejandro
López García
Instituto IMDEA Software
Pozuelo de Alarcón, EspañaInstituto IMDEA Software-ko ikertzaileekin lankidetzan egindako argitalpenak (5)
2010
-
A framework for verification and debugging of resource usage properties resource usage verification
Leibniz International Proceedings in Informatics, LIPIcs
-
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
New Generation Computing
-
Towards fuzzy granularity control in parallel/distributed computing
ICFC 2010 ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation
2009
-
Integrating software testing and run-time checking in an assertion verification framework
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
Towards execution time estimation in abstract machine-based languages
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming