Petri Net-Based FTL Architecture for Parametric WCET Estimation via FTL Operation Sequence Derivation

DOI10.1109/TC.2012.114MaRDI QIDQ5274552zbMATH OpenFDO

Authors Jonghun Yoo, Jaesoo Lee, Seongsoo Hong

Publication date 12 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.2012.114

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Petri Net-Based FTL Architecture for Parametric WCET Estimation via FTL Operation Sequence Derivation

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