Foundational and Practical Aspects of Resource Analysis [electronic resource] : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / edited by Marko van Eekelen, Ugo Dal Lago.
Materialtyp:
TextSerie: Utgivningsuppgift: Cham : Springer International Publishing : Imprint: Springer, 2016Utgåva: 1st ed. 2016Beskrivning: IX, 127 p. 30 illus. online resourceInnehållstyp: - text
- computer
- online resource
- 9783319465593
- Computer and Information Systems Applications
- System Performance and Evaluation
- Probability and Statistics in Computer Science
- Computer Science Logic and Foundations of Programming
- Software Engineering
- Computer Modelling
- Application software
- Electronic digital computers -- Evaluation
- Computer science -- Mathematics
- Mathematical statistics
- Computer science
- Software engineering
- Computer simulation
- 005.3 23
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 Programs on x86-64 Multicores. .
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.
Licensed e-book