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

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9964Verlag: Cham : Springer, 2016Beschreibung: Online-Ressource (IX, 127 p. 30 illus, online resource)ISBN:

9783319465593

Schlagwörter: Andere physische Formen: 9783319465586 | Erscheint auch als: 978-3-319-46558-6 Druck-Ausgabe | Printed edition: 9783319465586 DDC-Klassifikation:

005.7
005.3 23

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

QA76.76.A65

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

Zusammenfassung: 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 submissionsZusammenfassung: 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

Exemplare ( 0 )

Dieser Titel hat keine Exemplare