Foundational and Practical Aspects of Resource Analysis

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

AvMarko van Eekelen,Ugo Dal Lago

Häftad, Engelska, 2016

Del i serien Lecture Notes in Computer Science

545 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2016-09-27
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:127
Förlag:Springer International Publishing AG
ISBN:9783319465586

Utforska kategorier

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

Innehållsförteckning

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.