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

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
• Edizione: 1st ed. 2016.
• Descrizione fisica: 1 online resource (IX, 127 p. 30 illus.)
• Disciplina: 005.1
• Soggetto topico: Application software; Computer system failures; Mathematical statistics; Computer logic; Software engineering; Computer simulation; Information Systems Applications (incl. Internet); System Performance and Evaluation; Probability and Statistics in Computer Science; Logics and Meanings of Programs; Software Engineering; Simulation and Modeling
• Persona (resp. second.): EekelenM. C. J. D. van; Dal LagoUgo
• Note generali: Includes index.
• Nota di contenuto: 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. .
• Sommario/riassunto: 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.
• Titolo autorizzato: Foundational and Practical Aspects of Resource Analysis
• ISBN: 3-319-46559-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465380603316
• Lo trovi qui: Univ. di Salerno
• Serie: Programming and Software Engineering ; ; 9964