Cantitate/Preț
Produs
Total produse
Vezi coșul
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers de Marko van Eekelen

Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers: Lecture Notes in Computer Science, cartea 9964

Editat de Marko van Eekelen, Ugo Dal Lago
en Limba Engleză Paperback – 27 sep 2016
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31230 lei

Preț vechi: 39038 lei
-20%

Puncte Express: 468
Preț estimativ în valută:
5522€ • 6516$ • 4836£

Carte tipărită la comandă

Livrare economică 13-27 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319465586
ISBN-10: 3319465589
Pagini: 134
Ilustrații: IX, 127 p. 30 illus.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.2 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

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. 

Caracteristici

Includes supplementary material: sn.pub/extras