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

Verification and Evaluation of Computer and Communication Systems

Overview of attention for book
Cover of 'Verification and Evaluation of Computer and Communication Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot
  3. Altmetric Badge
    Chapter 2 Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking
  4. Altmetric Badge
    Chapter 3 Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks
  5. Altmetric Badge
    Chapter 4 Regression-Based Statistical Bounds on Software Execution Time
  6. Altmetric Badge
    Chapter 5 WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction
  7. Altmetric Badge
    Chapter 6 Factor-Based C-AMAT Analysis for Memory Optimization
  8. Altmetric Badge
    Chapter 7 An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study
  9. Altmetric Badge
    Chapter 8 Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation
  10. Altmetric Badge
    Chapter 9 A Toolset for Mobile Systems Testing
  11. Altmetric Badge
    Chapter 10 Intertwined Global Optimization Based Reachability Analysis
  12. Altmetric Badge
    Chapter 11 Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude
  13. Altmetric Badge
    Chapter 12 TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm
  14. Altmetric Badge
    Chapter 13 Uppaal vs Event-B for Modelling Optimised Link State Routing
Attention for Chapter 6: Factor-Based C-AMAT Analysis for Memory Optimization
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Factor-Based C-AMAT Analysis for Memory Optimization
Chapter number 6
Book title
Verification and Evaluation of Computer and Communication Systems
Published by
Springer, Cham, August 2017
DOI 10.1007/978-3-319-66176-6_6
Book ISBNs
978-3-31-966175-9, 978-3-31-966176-6
Authors

Qi Yu, Libo Huang, Cheng Qian, Jianqiao Ma, Zhiying Wang

View on publisher site

This page is provided by Altmetric.