↓ Skip to main content
What is this page? Embed badge

Foundational and Practical Aspects of Resource Analysis

Overview of attention for book
Cover of 'Foundational and Practical Aspects of Resource Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 May-Happen-in-Parallel Analysis with Condition Synchronization
  3. Altmetric Badge
    Chapter 2 Using Dependent Types to Define Energy Augmented Semantics of Programs
  4. Altmetric Badge
    Chapter 3 Call-by-Value, Elementary Time and Intersection Types
  5. Altmetric Badge
    Chapter 4 Probabilistic Resource Analysis by Program Transformation
  6. Altmetric Badge
    Chapter 5 Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
  7. Altmetric Badge
    Chapter 6 Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores
Attention for Chapter 4: Probabilistic Resource Analysis by Program Transformation
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
6 Mendeley
Summary X

This page is provided by Altmetric.