Muutke küpsiste eelistusi

Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers 1st ed. 2016 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 127 pages, kõrgus x laius: 235x155 mm, kaal: 2234 g, 30 Illustrations, black and white; IX, 127 p. 30 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9964
  • Ilmumisaeg: 27-Sep-2016
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319465589
  • ISBN-13: 9783319465586
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers 1st ed. 2016Suurem pilt
  • Formaat: Paperback / softback, 127 pages, kõrgus x laius: 235x155 mm, kaal: 2234 g, 30 Illustrations, black and white; IX, 127 p. 30 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9964
  • Ilmumisaeg: 27-Sep-2016
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319465589
  • ISBN-13: 9783319465586
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783319465586.html
Märksõnad:
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.
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
Programson x86-64 Multicores.