E-Book, Englisch, Band 9964, 127 Seiten, eBook
van Eekelen / Dal Lago Foundational and Practical Aspects of Resource Analysis
1. Auflage 2016
ISBN: 978-3-319-46559-3
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
E-Book, Englisch, Band 9964, 127 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-46559-3
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
