Performance modelling of a network processor using POOSL.

DOI10.1016/S1389-1286(02)00455-3MaRDI QIDQ1400387zbMATH OpenOpenAlexFDO

Authors B. D. Theelen, J. P. M. Voeten, R. D. J. Kramer

Publication date 13 August 2003

Published in Computer Networks (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1389-1286(02)00455-3

zbMATH Keywords

ConcurrencyFormal description techniquesNetwork processorParallel object-oriented specification languagePerformance modellingSystem-level design

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Network design and communication in computer systems (68M10)

Recommendations

• Object-oriented modelling and specification using SHE
• Performance evaluation of network processor architectures: Combining simulation with analytical estimation.
• scientific article; zbMATH DE number 2080775
• Specification and performance analysis of embedded systems with coloured Petri nets
• scientific article; zbMATH DE number 52302

Cited in

(3)

• Performance modelling of pools in soft real-time design architectures
• Predictable real-time software synthesis
• POOSL

This page was built for publication: Performance modelling of a network processor using POOSL.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1400387)