Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / edited by Marko van Eekelen, Ugo Dal Lago

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9964Publisher: Cham : Springer, 2016Description: Online-Ressource (IX, 127 p. 30 illus, online resource)ISBN:

9783319465593

Subject(s): Additional physical formats: 9783319465586 | Erscheint auch als: 978-3-319-46558-6 Druck-Ausgabe | Printed edition: 9783319465586 DDC classification:

005.7
005.3 23

MSC: MSC: *68-06 | 68Nxx | 68Qxx | 00B25LOC classification:

QA76.76.A65

DOI: DOI: 10.1007/978-3-319-46559-3Online resources:

Summary: 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 submissionsSummary: 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 MulticoresPPN: PPN: 1658924584Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Holdings ( 0 )

No physical items for this record