×

Found 59 Documents (Results 1–59)

Network calculus for bounding delays in feedforward networks of FIFO queueing systems. (English) Zbl 1491.68031

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 149-167 (2021).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: DOI

A bandwidth reservation mechanism for AXI-based hardware accelerators on FPGAs. (English) Zbl 07559358

Quinton, Sophie (ed.), 31st Euromicro conference on real-time systems, ECRTS 2019, Stuttgart, Germany, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 133, Article 24, 24 p. (2019).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic NetKAT. (English) Zbl 1335.68027

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 282-309 (2016).
MSC:  68N15 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

On the identifiability of link service curves from end-host measurements. (English) Zbl 1169.68321

Altman, Eitan (ed.) et al., Network control and optimization. Second Euro-NF workshop, NET-COOP 2008, Paris, France, September 8–10, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00392-9/pbk). Lecture Notes in Computer Science 5425, 53-61 (2009).
MSC:  68M10 68M20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software