Exploring optimal solution to hardware/software partitioning for synchronous model

DOI10.1007/S00165-005-0072-YzbMATH Open1103.68404OpenAlexW2067688153MaRDI QIDQ2432215FDOQ2432215

Authors: Jifeng He, Dang Van Hung, Geguang Pu, Wang Yi, Zongyan 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

Recommendations

• Integrated Formal Methods
• A constructive approach to hardware/software partitioning
• Finding optimal hardware/software partitions
• An algebraic hardware/software partitioning algorithm
• Publication:4939105

zbMATH Keywords

reachabilitytimed automatahardware/software partitioningscheduling algorithm

Mathematics Subject Classification ID

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

Cited In (3)

• Optimal hardware/software co-synthesis for core-based SoC designs
• Integrated Formal Methods
• A constructive approach to hardware/software partitioning

Uses Software

• HyTech
• Uppaal

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

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