Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics
From MaRDI portal
Publication:3449191
Recommendations
- SOS: Synthesis of application-specific heterogeneous multiprocessor systems
- Symbolic system synthesis using answer set programming
- The concept of maximal unschedulable deadline assignment for optimization in fixed-priority scheduled real-time systems
- scientific article; zbMATH DE number 1497853
- scientific article; zbMATH DE number 2088657
Cited in
(3)
This page was built for publication: Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449191)