Exploring optimal solution to hardware/software partitioning for synchronous model

DOI10.1007/s00165-005-0072-yzbMath1103.68404OpenAlexW2067688153MaRDI QIDQ2432215

Jifeng He, Dang Van Hung, Wang Yi, Geguang Pu, Zong-Yan Qiu

Publication date: 25 October 2006

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-005-0072-y

zbMATH Keywords

reachabilitytimed automatascheduling algorithmhardware/software partitioning

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Computer system organization (68M99)

Uses Software

• HyTech
• Uppaal

This page was built for publication: Exploring optimal solution to hardware/software partitioning for synchronous model