Home › Categories › Technology› SEEP: Symbolic Execution For Energy-Aware Programming

SEEP: Symbolic Execution For Energy-Aware Programming.pdf

hoenig_11_hotpower.pdf
Preview of SEEP: Symbolic Execution for Energy-Aware Programming
🔗 Source: www4.cs.fau.de
📊 Size: 1.35 MB
👤 Author: Timo Hönig, Christopher Eibel, Rüdiger Kapitza, Wolfgang Schröder-Preikschat
⬇️ Downloads: 65

Summary

Problem: While static and dynamic optimizations for energy-aware execution have flourished, writing energy-efficient programs from scratch remains challenging due to the lack of upfront knowledge about code's energy footprint across diverse platforms.

Solution (SEEP): SEEP leverages symbolic execution and platform-specific energy profiles to offer developers this crucial information:

Path Explorer: Analyzes source code using symbolic execution techniques to identify all possible execution paths and their associated constraints.
 Path-Specific Complexity Explorer: Generates and executes modified binaries based on the identified paths, tracing execution and counting block executions (basic blocks).
Platform Energy Profile Merger: Combines platform-specific energy profiles with the block counter data from the complexity explorer to provide a comprehensive view of code's energy consumption potential.

Key Benefits:

Early Feedback: Developers gain insights into energy costs during development, allowing for proactive refactoring.
Heterogeneity Support: Handles diverse and potentially heterogeneous target platforms through platform-specific energy profiles.
 Practical Evaluation: Demonstrates the framework's effectiveness using an easy-to-use hardware setup for analog energy measurements.

Conclusion: SEEP represents a promising step towards empowering developers to create truly energy-aware software by providing them with the tools and knowledge to make informed design decisions at the highest level of abstraction.

Download File

Description

SEEP is a framework that leverages symbolic execution and platform energy profiles to enable developers to write energy-efficient programs, offering insights into the energy consumption of code, including library function calls.

Technical Information

  • File Format: PDF
  • File Size: 1.35 MB
  • Pages: 5
  • Language: EN
  • Author: Timo Hönig, Christopher Eibel, Rüdiger Kapitza, Wolfgang Schröder-Preikschat
  • Total Downloads: 65
  • Last Updated: 6 days ago

Document Overview

This PDF document about SEEP: Symbolic Execution for Energy-Aware Programming provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into SEEP: Symbolic Execution for Energy-Aware Programming.

Related Topics

If you're interested in SEEP: Symbolic Execution for Energy-Aware Programming, you might also want to explore:

SEEP: guideSEEP: tutorialSymbolic guideSymbolic tutorialExecution guideExecution tutorialEnergy-Aware guideEnergy-Aware tutorialProgramming guideProgramming tutorial

Related Categories

Business & Finance
41204 documents
Education & Learning
22711 documents
Health & Wellness
8956 documents

Related Documents

Preview of ProSEEP: A Proactive Approach to Energy-Aware Programming
PDF file

ProSEEP: A Proactive Approach to Energy-Aware Programming

112 KBTimo Hönig, Rüdiger Kapitza, Wolfgang Schröder-PreikschatEN2 pages
Document en en
Download
Preview of Noninterference via Symbolic Execution
PDF file

Noninterference via Symbolic Execution

337 KBEN17 pages
Noninterference is a security property ensuring no illicit information flow at runtime.
Download
Preview of Symbolic Function
PDF file

Symbolic Function

9.6 MBMichel LatchoumaninEN11 pages
HAL is a multi-disciplinary open access archive for deposit and dissemination of scientific research documents, published or not, from French or...
Download
Preview of BC Energy Step Code
PDF file

BC Energy Step Code

3.28 MBEN27 pages
Two provincial initiatives, the Building Act and Climate Leadership Plan, set targets for consistency, competency, and innovation in building...
Download
Preview of Symbolic Characters
PDF file

Symbolic Characters

59 KB07485480EN1 page
ᖺᗘ 㟼ᒸ኱Ꮫ኱Ꮫ㝔ග་ᕤᏛ◊✲ ⛉࣭὾ᯇ་⛉኱Ꮫ኱Ꮫ㝔་Ꮫ⣔◊✲⛉ ග་ᕤᏛඹྠᑓᨷ ᚋᮇ㸱ᖺ༤ኈㄢ⛬ ྜ᱁⪅ཷ㦂␒ྕ ཷ㦂␒ྕ㻌 Ꮫ⡠䜢⨨䛟኱Ꮫ㻌 㻥㻤㻜㻝㻜㻢㻌 ὾ᯇ་⛉኱Ꮫ㻌
Download

Download SEEP: Symbolic Execution for Energy-Aware Programming eBooks for free and learn more about SEEP: Symbolic Execution for Energy-Aware Programming. These books contain exercises and tutorials to improve your practical skills, at all levels!

Not satisfied with this document? We have related documents to SEEP: Symbolic Execution for Energy-Aware Programming, try searching with similar keywords: SEEP: Symbolic Execution for Energy-Aware Programming, "Hinder och möjliggörare för 1.5°-livsstilar: Ytliga och djupgående strukturella faktorer som påverkar potentialen för hållbar k, Ändring av genomföranderam för en europeisk plattform för utbyte av balansenergi från frekvensåterställn ingsreserver med manuell, Rekommendationer för vaccination mot covid-19 för särskilda grupper av barn -, förstudie för att utvärdera förutsättningarna att genom en innovationsupphandli ng utveckla en drifttjänst för geoenergilager, Självkänsla och KBT ‐ Påverkas självkänslan vid KBT för depression och ångesttillstånd?Se lf‐esteem and CBT ‐ How does CBT for de, Matglädje för alla: en guide till rätt konsistens för olika behov, Introduction Symbolic Action In Theory And Practice The Cultural Pragmatics Of Symbolic Action

You can download PDF versions of the user's guide, manuals and ebooks about SEEP: Symbolic Execution for Energy-Aware Programming, you can also find and download for free A free online manual (notices) with beginner and intermediate, Downloads Documentation, You can download PDF files (or DOC and PPT) about SEEP: Symbolic Execution for Energy-Aware Programming for free, but please respect copyrighted ebooks.