Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR., , , , , , und . FOPARA, Volume 9964 von Lecture Notes in Computer Science, Seite 81-100. (2015)A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development.. Technical University of Madrid, Spain, (2018)Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling., , und . HAIS, Volume 9121 von Lecture Notes in Computer Science, Seite 690-701. Springer, (2015)Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks., , , und . LOPSTR, Volume 10855 von Lecture Notes in Computer Science, Seite 54-72. Springer, (2017)An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors., , , und . Log. J. IGPL, 25 (6): 1006-1019 (2017)A Transformational Approach to Parametric Accumulated-Cost Static Profiling., , , , , und . FLOPS, Volume 9613 von Lecture Notes in Computer Science, Seite 163-180. Springer, (2016)Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks., , , und . CoRR, (2016)Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption., , , , , und . Theory Pract. Log. Program., 18 (2): 167-223 (2018)A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation., , und . AIAI, Volume 458 von IFIP Advances in Information and Communication Technology, Seite 478-493. Springer, (2015)