NC-Maude: A Rewriting Tool to Play with Network Calculus-Reference-Cited by-同舟云学术

NC-Maude: A Rewriting Tool to Play with Network Calculus

Published:2010 Issue: Volume: Page:137-151
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Boyer Marc

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16558-0_14

Reference27 articles.

1. Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.-P.: Synchronization and Linearity, An algebra for discrete event systems. John Wiley and Son, Chichester (1992) ISBN: 978-0471936091, http://cermics.enpc.fr/~cohen-g//SED/book-online.html

2. LNCS;L. Bisti,2010

3. LNCS;M. Boyer,2010

4. Boyer, M.: NC-maude home page, http://www.onera.fr/staff/marc-boyer/tools.php

5. Boyer, M.: NC-maude: maude for computation of worst bounds on real-time (embedded) networks. Technical Report 1/16417, ONERA (2010)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computationally Efficient Worst-Case Analysis of Flow-Controlled Networks With Network Calculus;IEEE Transactions on Information Theory;2023-04

2. Graph-Based Deep Learning for Fast and Tight Network Calculus Analyses;IEEE Transactions on Network Science and Engineering;2021-01-01

3. A Survey on Network Calculus Tools for Network Infrastructure in Real-Time Systems;IEEE Access;2020

4. References;Deterministic Network Calculus;2018-10-26

5. An Analytic-Deterministic Model for Traffic Prioritization in Software Defined Networks with Network Calculus;2015 XXXIII Brazilian Symposium on Computer Networks and Distributed Systems;2015-05