Go to main content

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.

FOPARA (Workshop) (4th : 2015 : London, England); Eekelen, M. C. J. D. van, editor.; Dal Lago, Ugo (Computer scientist), editor.
2016
QA76.76.D47
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
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.
Meeting Name
FOPARA (Workshop) (4th : 2015 : London, England)
ISBN
9783319465593 (electronic book)
3319465597 (electronic book)
9783319465586
DOI
https://doi.org/10.1007/978-3-319-46559-3
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource (ix, 127 pages) : illustrations.
Item Number
10.1007/978-3-319-46559-3 doi
Call Number
QA76.76.D47
Dewey Decimal Classification
005.1/2
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 submissions.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 5, 2016).
Added Author
Eekelen, M. C. J. D. van, editor.
Dal Lago, Ugo (Computer scientist), editor.
Series
Lecture notes in computer science ; 9964.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export