FEEDBACK Smiley face
Normal view MARC view ISBD view

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

Contributor(s): van Eekelen, Marko [editor.] | Dal Lago, Ugo [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 9964Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.Description: IX, 127 p. 30 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319465593.Subject(s): 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 ModelingOnline 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 eBooksSummary: 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. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in