The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pedro López-García 0001" ( http://dblp.L3S.de/Authors/Pedro_López-García_0001 )

URL (Homepage):  http://software.imdea.org/people/pedro.lopez/index.html  Author page on DBLP  Author page in RDF  Community of Pedro López-García 0001 in ASPL-2

Publication years (Num. hits)
1994-2005 (15) 2006-2012 (15) 2013-2015 (15) 2016-2018 (15) 2019 (3)
Publication types (Num. hits)
article(27) inproceedings(35) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 20 keywords

Results
Found 64 publication records. Showing 63 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Zorana Bankovic, Umer Liqat, Pedro López-García 0001 A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms. Search on Bibsonomy Multiple-Valued Logic and Soft Computing The full citation details ... 2019 DBLP  BibTeX  RDF
1Ignacio Casso, José F. Morales, Pedro López-García 0001, Manuel V. Hermenegildo Computing Abstract Distances in Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Maximiliano Klemen, Pedro López-García 0001, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo An Approach to Static Performance Guarantees for Programs with Run-time Checks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Towards Static Performance Guarantees for Programs with Run-Time Checks. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Static Performance Guarantees for Programs with Runtime Checks. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Pedro López-García 0001 (eds.) Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-systems energy transparency. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Pedro López-García 0001 Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-Systems Energy Transparency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo A General Framework for Static Profiling of Parametric Resource Usage. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo A general framework for static profiling of parametric resource usage. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, Pedro López-García 0001, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo A Transformational Approach to Parametric Accumulated-Cost Static Profiling. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zorana Bankovic, Pedro López-García 0001 Stochastic vs. deterministic evolutionary algorithm-based allocation and scheduling for XMOS chips. Search on Bibsonomy Neurocomputing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo Towards Energy Consumption Verification via Static Analysis. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles G. Navarro, Antonio Vilches, María Jesús Garzarán, Ismat Chaib Draa, Jamel Tayeb, Smaïl Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto García Ortiz, Pedro López-García 0001, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavrík, Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Zorana Bankovic, Umer Liqat, Pedro López-García 0001 A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation. Search on Bibsonomy AIAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Search on Bibsonomy FOPARA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zorana Bankovic, Pedro López-García 0001 Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm. Search on Bibsonomy GECCO (Companion) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zorana Bankovic, Pedro López-García 0001 Improved Energy-Aware Stochastic Scheduling Based on Evolutionary Algorithms via Copula-Based Modeling of Task Dependences. Search on Bibsonomy SOCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zorana Bankovic, Umer Liqat, Pedro López-García 0001 Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling. Search on Bibsonomy HAIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Manuel V. Hermenegildo Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Sized Type Analysis for Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Umer Liqat, Steve Kerrison, Alejandro Serrano 0001, Kyriakos Georgiou, Pedro López-García 0001, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zorana Bankovic, Pedro López-García 0001 Genetic Algorithm-Based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips. Search on Bibsonomy HAIS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, Germán Puebla An overview of Ciao and its design philosophy. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Edison Mera, José F. Morales, German Puebla An overview of Ciao and its design philosophy Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Edison Mera, Teresa Trigo, Pedro López-García 0001, Manuel V. Hermenegildo Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. Search on Bibsonomy PADL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo Interval-Based Resource Usage Verification: Formalization and Prototype. Search on Bibsonomy FOPARA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, Pedro López-García 0001, Manuel V. Hermenegildo CLP projection for constraint handling rules. Search on Bibsonomy PPDP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla An Overview of the Ciao System. Search on Bibsonomy RuleML Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. Search on Bibsonomy New Generation Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Francisco Bueno A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static/dynamic debugging, program verification, unit testing, assertions, run-time verification
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales, Germán Puebla An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Edison Mera, Pedro López-García 0001, Manuel Carro, Manuel V. Hermenegildo Towards execution time estimation in abstract machine-based languages. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation
1Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo Combining Static Analysis and Profiling for Estimating Execution Times. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation
1Jorge A. Navas, Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo User-Definable Resource Bounds Analysis for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla Abstraction carrying code and resource-awareness. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness
1Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Search on Bibsonomy Euro-Par The full citation details ... 2004 DBLP  DOI  BibTeX  RDF granularity control, mobile code certification, GRIDs, resource awareness, distributed execution
1Francisco Bueno, Pedro López-García 0001, Manuel V. Hermenegildo Multivariant Non-failure Analysis via Standard Abstract Interpretation. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo Determinacy Analysis for Logic Programs Using Mode and Type Information. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Determinacy Inference, Program Analysis, Types, Modes
1Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Program Debugging and Validation Using Semantic Approximations and Partial Specifications. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Abstract Verification and Debugging of Constraint Logic Programs. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García 0001 Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Saumya K. Debray, Pedro López-García 0001, Manuel V. Hermenegildo, Nai-Wei Lin Lower Bound Cost Estimation for Logic Programs. Search on Bibsonomy ILPS The full citation details ... 1997 DBLP  BibTeX  RDF
1Saumya K. Debray, Pedro López-García 0001, Manuel V. Hermenegildo Non-Failure Analysis for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Pedro López-García 0001, Manuel V. Hermenegildo, Saumya K. Debray A Methodology for Granularity-Based Control of Parallelism in Logic Programs. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García 0001, Germán Puebla The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1Manuel V. Hermenegildo, Pedro López-García 0001 Efficient Term Size Computation for Granularity Control. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Saumya K. Debray, Pedro López-García 0001, Manuel V. Hermenegildo, Nai-Wei Lin Estimating the Computational Cost of Logic Programs. Search on Bibsonomy SAS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #63 of 63 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license