Network calculus. A theory of deterministic queueing systems for the Internet

DOI10.1007/3-540-45318-0zbMath0974.90003OpenAlexW4247726752WikidataQ29395059 ScholiaQ29395059MaRDI QIDQ5940717

Jean-Yves Le Boudec, Patrick Thiran

Publication date: 20 August 2001

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45318-0

zbMATH Keywords

communicationdioidsmultimedia smoothingPetri net

Mathematics Subject Classification ID

Communication networks in operations research (90B18) Network design and communication in computer systems (68M10) Queues and service in operations research (90B22) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming (90-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Internet topics (68M11)

Related Items (41)

Schedulability analysis of Ethernet audio video bridging networks with scheduled traffic support ⋮ Price-coupled scheduling for differentiated services: Gcµversus GPS ⋮ Network calculus for bounding delays in feedforward networks of FIFO queueing systems ⋮ Fast weak–KAM integrators for separable Hamiltonian systems ⋮ Cache-aware timing analysis of streaming applications ⋮ Fractal teletraffic delay bounds in computer networks ⋮ A MILP approach to DRAM access worst-case analysis ⋮ Workload correlations in multi-processor hard real-time systems ⋮ Delay-constrained routing problems: accurate scheduling models and admission control ⋮ Envelope modeling of renewable resource variability and capacity ⋮ Causality problem in real-time calculus ⋮ An analytical model for Network-on-Chip with finite input buffer ⋮ Peak temperature analysis and optimization for pipelined hard real-time systems ⋮ Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition ⋮ Markov decision processes with burstiness constraints ⋮ Performance evaluation and dimensioning of \(GI^X/M/c/N\) systems through kernel estimation ⋮ mBm-based scalings of traffic propagated in internet ⋮ Performance of scheduling policies in adversarial networks with non-synchronized clocks ⋮ Numerical analysis of worst-case end-to-end delay bounds in FIFO tandem networks ⋮ Asymptotic identity in min-plus algebra: a report on CPNS ⋮ Container of (min,+)-linear systems ⋮ Playout in slotted CBR networks: Single and multiple nodes ⋮ A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets ⋮ A Max-Sum algorithm for training discrete neural networks ⋮ Graph-based models for real-time workload: a survey ⋮ Timing analysis of rate-constrained traffic in TTEthernet using network calculus ⋮ Real-time worst-case temperature analysis with temperature-dependent parameters ⋮ Reactive speed control in temperature-constrained real-time systems ⋮ Modelling routing phenomenon with bounds estimation in dioids ⋮ Buffer planning for application-specific networks-on-chip design ⋮ A Stochastic Ordering Property for Leaky Bucket Regulated Flows in Packet Networks ⋮ Probabilistic NetKAT ⋮ On the Identifiability of Link Service Curves from End-Host Measurements ⋮ An algorithmic toolbox for network calculus ⋮ End-to-end deadlines over dynamic topologies ⋮ Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling ⋮ Unnamed Item ⋮ FFOB: efficient online mode-switch procrastination in mixed-criticality systems ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques ⋮ Quantitative characterization of event streams in analysis of hard real-time applications ⋮ Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms

This page was built for publication: Network calculus. A theory of deterministic queueing systems for the Internet