The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Umer Liqat" ( http://dblp.L3S.de/Authors/Umer_Liqat )

  Author page on DBLP  Author page in RDF  Community of Umer Liqat in ASPL-2

Publication years (Num. hits)
2013-2017 (15) 2018-2019 (3)
Publication types (Num. hits)
article(12) inproceedings(6)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 19 publication records. Showing 18 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
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
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
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
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
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
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, 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
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
Displaying result #1 - #18 of 18 (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