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. 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), Turin, Italy. 23 - 25 Sep 2015. 8 pp .
Record type:
Conference or Workshop Item
(Paper)
More information
e-pub ahead of print date: September 2015
Venue - Dates:
9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), Turin, Italy, 2015-09-23 - 2015-09-25
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 379127
URI: http://eprints.soton.ac.uk/id/eprint/379127
PURE UUID: 6f167560-fdd1-4cec-b140-92071b5998d4
Catalogue record
Date deposited: 31 Jul 2015 14:04
Last modified: 15 Mar 2024 03:36
Export record
Contributors
Author:
Asieh Salehi Fathabadi
Author:
Luis Alfonso Maeda-Nunez
Author:
Michael Butler
Author:
Bashir Al-Hashimi
Author:
Geoff Merrett
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.