Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics
From MaRDI portal
Publication:3449191
DOI10.1007/978-3-319-23264-5_6zbMATH Open1467.68158OpenAlexW2209258137MaRDI QIDQ3449191FDOQ3449191
Authors: Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub
Publication date: 4 November 2015
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_6
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)