↓ 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 5: WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction
Altmetric Badge

Readers on

mendeley
1 Mendeley
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
WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction
Chapter number 5
Book title
Verification and Evaluation of Computer and Communication Systems
Published by
Springer, Cham, August 2017
DOI 10.1007/978-3-319-66176-6_5
Book ISBNs
978-3-31-966175-9, 978-3-31-966176-6
Authors

Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Psychology 1 100%

This page is provided by Altmetric.