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

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
Körperschaft: FOPARA (VerfasserIn)
Weitere Verfasser: Eekelen, Marko van (HerausgeberIn), Dal Lago, Ugo (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2016
Schriftenreihe:Lecture notes in computer science 9964
Schlagworte:
Computer logic > Computer science > Computer simulation > Computer system failures > Mathematical statistics > Software engineering > Konferenzschrift
Online Zugang:Volltext
Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
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:Preface: "... volume constitutes the formal proceedings of the 4th Foundational and Practical Aspects of Resources Analysis (FOPARA 2015) Workshop, whoch was held with the Developments in Implicit Computational Complexity (DICE 2015) Workshop at the European Joint Conferences on Theory and Practice of Software (ETAPS 2015) in London, UK ..."
Beschreibung:VI, 125 Seiten
Diagramme
ISBN:9783319465586
978-3-319-46558-6