Foundational and Practical Aspects of Resource Analysis

4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Häftad, Engelska, 2016

Av Marko van Eekelen, Ugo Dal Lago, Marko Van Eekelen

719 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2016-09-27
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieProgramming and Software Engineering
Antal sidor127
FörlagSpringer International Publishing AG
ISBN9783319465586

Tillhör följande kategorier

Tillämpad datateknik inom Data och it
Matematisk statistik inom Naturvetenskap och teknik
Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it

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.