Foundational and Practical Aspects of Resource Analysis [electronic resource] : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /

Contributor(s):

Material type: Text

TextSeries: Programming and Software Engineering ; 9964Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Edition: 1st ed. 2016Description: IX, 127 p. 30 illus. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319465593

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:

005.3 23

LOC classification:

QA76.76.A65

Online resources:

Click here to access online

Contents:

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. .

In: Springer Nature eBookSummary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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.

There are no comments on this title.

to post a comment.