Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores

DOI10.1007/978-3-642-40229-6_16zbMath1390.68154OpenAlexW2203904945MaRDI QIDQ2842674

Oded Maler, Pranav Tendulkar, Peter Poplavko

Publication date: 16 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40229-6_16

zbMATH Keywords

mappingschedulingmultiprocessorSMTmulticoreSAT solversynchronous data-flow

Mathematics Subject Classification ID

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

Related Items (2)

Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems ⋮ On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

Uses Software

• z3
• Unnamed Item

This page was built for publication: Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores