Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI
În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.
Autori: SIMONA MOTOGNA, BAZIL PÂRV.
Energy efficiency has become one of the most critical software metric both for cloud computing servers as well as for mobile phones, ipads or sensor networks. Much of the research on the reducing energy consumption has been focused on low-power architectures, operating systems and compiler optimizations. Recent studies have been started to explore how programming language technologies can help reason about energy management.In this context our paper discusses how our region calculus used before to manage the heap memory can be adapted to control the energy consumption.
2010 Mathematics Subject Classification. 68Q60, 68N30.1998 CR Categories and Descriptors. D.2.4 [Software]: Software engineering – Software/Program Verification.
Key words and phrases. energy-aware programming, region calculus, program analysis.
