Foundational and Practical Aspects of Resource Analysis
-15%
portes grátis
Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Dal Lago, Ugo; van Eekelen, Marko
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
complexity;embedded systems;operational semantics;probabilistic analysis;theory of computation
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
