Foundational and practical aspects of resource analysis: 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers

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 Func...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Eekelen, Marko van (HerausgeberIn), Dal Lago, Ugo (HerausgeberIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: [Cham] Springer [2016]
Schriftenreihe:Lecture notes in computer science 9964
Schlagworte:
Online-Zugang:Volltext
Zusammenfassung: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 Programs on x86-64 Multicores
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
Beschreibung:VI, 135 Seiten Diagramme
ISBN:9783319465586
DOI:10.1007/978-3-319-46559-3

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen