Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

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

van Eekelen, Marko; Dal Lago, Ugo

Springer International Publishing AG

09/2016

127

Mole

Inglês

9783319465586

15 a 20 dias

2234

Descrição não disponível.
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.
complexity;embedded systems;operational semantics;probabilistic analysis;theory of computation