[图书][B] Deterministic network calculus: From theory to practical implementation
Deterministic network calculus is a theory based on the (min, plus) algebra. Its aim is to
compute worst-case performance bounds in communication networks. Our goal is to provide …
compute worst-case performance bounds in communication networks. Our goal is to provide …
Embedding network calculus and event stream theory in a common model
M Boyer, P Roux - 2016 IEEE 21st International Conference on …, 2016 - ieeexplore.ieee.org
Network calculus (also known as real-time calculus) and event stream theory are two
theories designed to compute upper bounds on response time for real-time systems. Both …
theories designed to compute upper bounds on response time for real-time systems. Both …
Algorithms and efficiency of Network calculus
A Bouillard - 2014 - inria.hal.science
This document presents some results obtained in the field of network calculus, a theory
based on the (min, plus) algebra and whose aim is to compute worst-case performance …
based on the (min, plus) algebra and whose aim is to compute worst-case performance …
A common framework embedding network calculus and event stream theory
M Boyer, P Roux - 2016 - hal.science
Network calculus (also known as real-time calculus) and event stream theory are two
theories designed to compute upper bounds on response time for real-time systems. Both …
theories designed to compute upper bounds on response time for real-time systems. Both …
Increasing accuracy of timing models: From cpa to cpa+
Formal analysis methods of embedded systems provide safe, but unfortunately often
pessimistic bounds on response times. An important source of pessimism is the common …
pessimistic bounds on response times. An important source of pessimism is the common …
Looking for equivalences of the services between left and right continuity in the Network Calculus theory
D Guidolin, M Boyer - 2022 - hal.science
The Network Calculus theory allows to compute upper bounds on delays and memory
usage in data networks. The mathematical foundations rely on piecewise-continuous …
usage in data networks. The mathematical foundations rely on piecewise-continuous …
Packetization and packet curves in network calculus
Arrival and service curves are core functions in the Network Calculus framework [2],[3].
Based on those curves, we present in this talk a new formalism for data packetization in …
Based on those curves, we present in this talk a new formalism for data packetization in …
Switching Between Left and Right Continuity in Network Calculus
M Boyer - 36th Euromicro Conference on Real-Time Systems …, 2024 - drops.dagstuhl.de
Abstract The Network Calculus theory has been designed to compute upper bounds on
delay and backlog in data networks. A lot of results have been developed to address …
delay and backlog in data networks. A lot of results have been developed to address …
Continuity for network calculus
M Boyer, G Dufour, L Santinelli - … of the 21st International conference on …, 2013 - dl.acm.org
Network calculus is a theory designed to compute guaranteed bounds on delays and
memory usage for networks. One of its strength is its mathematical framework to function …
memory usage for networks. One of its strength is its mathematical framework to function …
Validation temporelle dans les réseaux embarqués temps réel
F Ridouard - 2023 - hal.science
J'ai obtenu mon doctorat d'informatique en 2006 à l'Université de Poitiers. Mon doctorat s'
est déroulé au LISI (ex-LIAS) sur des contributions à des problèmes d'ordonnancement …
est déroulé au LISI (ex-LIAS) sur des contributions à des problèmes d'ordonnancement …