A satisfiability approach to speed assignment for distributed real-time systems.
Autor: | Kumar, Pratyush, Chokshi, Devesh B., Thiele, Lothar |
---|---|
Zdroj: | Proceedings of the Conference: Design, Automation & Test in Europe; 3/18/2013, p749-754, 6p |
Databáze: | Complementary Index |
Externí odkaz: |