Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / [electronic resource] :
edited by Marko van Eekelen, Ugo Dal Lago.
- IX, 127 p. 30 illus. online resource.
- Lecture Notes in Computer Science, 9964 0302-9743 ; .
- Lecture Notes in Computer Science, 9964 .
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.
9783319465593
10.1007/978-3-319-46559-3 doi
Computer science.
Computer system failures.
Software engineering.
Computer logic.
Mathematical statistics.
Computer simulation.
Computer Science.
Information Systems Applications (incl. Internet).
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Simulation and Modeling.
QA76.76.A65
005.7
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.
9783319465593
10.1007/978-3-319-46559-3 doi
Computer science.
Computer system failures.
Software engineering.
Computer logic.
Mathematical statistics.
Computer simulation.
Computer Science.
Information Systems Applications (incl. Internet).
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Simulation and Modeling.
QA76.76.A65
005.7