Scalable Scheduling for Hardware-Accelerated Functional Verification

Michael D. Moffitt, Gernot E. Günther. Scalable Scheduling for Hardware-Accelerated Functional Verification. In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert, editors, Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011. AAAI, 2011. [doi]

Authors

Michael D. Moffitt

This author has not been identified. Look up 'Michael D. Moffitt' in Google

Gernot E. Günther

This author has not been identified. Look up 'Gernot E. Günther' in Google