Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
(Sprache: Englisch)
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Foundational and Practical Aspects of Resource Analysis “
Klappentext zu „Foundational and Practical Aspects of Resource Analysis “
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
Inhaltsverzeichnis zu „Foundational and Practical Aspects of Resource Analysis “
May-Happen-in-Parallel Analysis with Condition Synchronization.- Using dependent types to dene energy augmented semantics of programs.- Call-by-value, Elementary Time and Intersection Types.- Probabilistic Resource Analysis by Program Transformation.- Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.- Timing Properties and Correctness for Structured Parallel Programson x86-64 Multicores.
Bibliographische Angaben
- 2016, 1st ed. 2016, IX, 127 Seiten, Maße: 15,6 x 23,6 cm, Kartoniert (TB), Englisch
- Herausgegeben: Marko van Eekelen, Ugo Dal Lago
- Verlag: Springer, Berlin
- ISBN-10: 3319465589
- ISBN-13: 9783319465586
- Erscheinungsdatum: 22.10.2016
Sprache:
Englisch
Kommentar zu "Foundational and Practical Aspects of Resource Analysis"
Schreiben Sie einen Kommentar zu "Foundational and Practical Aspects of Resource Analysis".
Kommentar verfassen