,
Segmented bus design for low-power systems, IEEE Trans. on VLSI Systems, vol.7, issue.1, pp.25-29, 1999. ,
Z3: An Efficient SMT Solver, TACAS, pp.337-340, 2008. ,
, Mathematical programming vs constraint programming
Mathematical programming-based approach to scheduling of communicating tasks, 2005. ,
An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks, RTSS, pp.375-384, 2010. ,
Deployment and scheduling synthesis for mixedcritical shared-memory applications, ECBS, pp.100-109, 2013. ,
Design Space Exploration and its Visualization in AUTOFOCUS3, SE Workshop, vol.1129, pp.57-66, 2014. ,
SMT-Based Scheduling for Overloaded Real-Time Systems, IEICE Transactions on Information and Systems, pp.1055-1066, 2017. ,
A constraint-based design space exploration framework for real-time applications on MPSoCs, DATE, pp.1-6, 2014. ,
Flexible and Tradeoff-Aware Constraint-Based Design Space Exploration for Streaming Applications on Heterogeneous Platforms, ACM TODAES, vol.23, issue.2, pp.1-21, 2017. ,
Exploring Power and Throughput for Dataflow Applications on Predictable NoC Multiprocessors, in DSD, pp.719-726, 2018. ,
Mapping and Scheduling on Multi-core Processors using SMT Solvers, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01087271
, TTool, 2006.
System Modeling and Design Refinement in ForSyDe, 2003. ,
Critical-path planning and scheduling, IRE-AIEE-ACM, pp.160-173, 1959. ,
An Approach for Effective Design Space Exploration, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, pp.33-54, 2011. ,