Finding optimal hardware/software partitions

DOI10.1007/S10703-007-0039-0MaRDI QIDQ2461561zbMATH OpenOpenAlexFDO

Authors Zoltán Ádám Mann, András Orbán, Péter Arató

Publication date 28 November 2007

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-007-0039-0

zbMATH Keywords

Branch-and-boundInteger linear programmingHardware/software partitioningHardware/software co-design

Mathematics Subject Classification ID

Linear programming (90C05) Nonnumerical algorithms (68W05) Theory of software (68N99) Computer system organization (68M99)

Recommendations

• Algorithmic aspects for multiple-choice hardware/software partitioning
• Algorithmic aspects for power-efficient hardware/software partitioning
• Efficient heuristic algorithms for path-based hardware/software partitioning
• Solving hardware/software partitioning via a discrete dynamic convexized method
• Integrated Formal Methods

Cites work

• scientific article; zbMATH DE number 1233950 (Why is no real title available?)
• scientific article; zbMATH DE number 1234104 (Why is no real title available?)
• A fast and robust network bisection algorithm
• An Efficient Heuristic Procedure for Partitioning Graphs
• SOS: Synthesis of application-specific heterogeneous multiprocessor systems

Cited in

(12)

• Exploring optimal solution to hardware/software partitioning for synchronous model
• Optimal hardware/software co-synthesis for core-based SoC designs
• Efficient heuristic algorithms for path-based hardware/software partitioning
• Solving hardware/software partitioning via a discrete dynamic convexized method
• Algorithmic aspects for power-efficient hardware/software partitioning
• Integrated Formal Methods
• Robust software partitioning with multiple instantiation
• Algorithmic aspects for multiple-choice hardware/software partitioning
• A system level implementation strategy and partitioning heuristic for LUT-based applications
• Low-complex dynamic programming algorithm for hardware/software partitioning
• A constructive approach to hardware/software partitioning
• Knapsack model and algorithm for hardware/software partitioning problem

Describes a project that uses

Uses Software

• MiBench

This page was built for publication: Finding optimal hardware/software partitions

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