A satisfiability approach to speed assignment for distributed real-time systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pratyush Kumar, Devesh B. Chokshi, Lothar Thiele. A satisfiability approach to speed assignment for distributed real-time systems. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 749-754, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]

This author has not been identified. Look up 'Pratyush Kumar' in GoogleThis author has not been identified. Look up 'Devesh B. Chokshi' in GoogleThis author has not been identified. Look up 'Lothar Thiele' in Google

runs on WebDSL