Analysing superscalar processor architectures with coloured Petri nets

DOI10.1007/s100090050026zbMath1032.68669OpenAlexW2080748275MaRDI QIDQ1865856

A. M. Koelmans, F. P. Burns, A. V. Yakovlev

Publication date: 2 April 2003

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090050026

zbMATH Keywords

real-time systemsasynchronous processorsworst case execution time

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Analysing superscalar processor architectures with coloured Petri nets