Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Seiten
2016
|
1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-46558-6 (ISBN)
Springer International Publishing (Verlag)
978-3-319-46558-6 (ISBN)
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.
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.
| Erscheinungsdatum | 10.11.2016 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | IX, 127 p. 30 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Datenbanken |
| Schlagworte | Applications • Complexity • Computer Science • conference proceedings • Embedded Systems • Informatics • Information Retrieval • information systems applications (incl. internet) • Internet Searching • Operational Semantics • probabilistic analysis • Research • Theory of Computation |
| ISBN-10 | 3-319-46558-9 / 3319465589 |
| ISBN-13 | 978-3-319-46558-6 / 9783319465586 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
