A residual service curve of rate-latency server used by sporadic flows computable in quadratic time for network calculus (Q6099657)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7699463
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A residual service curve of rate-latency server used by sporadic flows computable in quadratic time for network calculus |
scientific article; zbMATH DE number 7699463 |
Statements
20 June 2023
0 references
network calculus
0 references
response time
0 references
residual curve
0 references
rate-latency server
0 references
sporadic workload
0 references
formal proof
0 references
Coq
0 references
0.7259635329246521
0 references
0.7210480570793152
0 references
0.719946026802063
0 references
0.7152734994888306
0 references
