Towards automatic code generation of run-time power management for embedded systems using formal methods


Salehi Fathabadi, Asieh, Maeda-Nunez, Luis Alfonso, Butler, Michael, Al-Hashimi, Bashir and Merrett, Geoff (2015) Towards automatic code generation of run-time power management for embedded systems using formal methods At 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), Italy. 23 - 25 Sep 2015. 8 pp.

Download

[img] PDF MCSoC2015.pdf - Other
Download (481kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), Italy, 2015-09-23 - 2015-09-25
Related URLs:
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronics & Computer Science
ePrint ID: 379127
Date :
Date Event
September 2015e-pub ahead of print
Date Deposited: 31 Jul 2015 14:04
Last Modified: 17 Apr 2017 05:45
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/379127

Actions (login required)

View Item View Item