Performance modelling of a network processor using POOSL.

DOI10.1016/S1389-1286(02)00455-3zbMath1045.68032OpenAlexW2096903155MaRDI QIDQ1400387

J. P. M. Voeten, B. D. Theelen, 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 techniquesPerformance modellingNetwork processorParallel object-oriented specification languageSystem-level design

Mathematics Subject Classification ID

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

Related Items (2)

Predictable real-time software synthesis ⋮ POOSL

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