[ACM Press the eighth IEEE/ACM/IFIP international conference - Scottsdale, Arizona, USA (2010.10.24-2010.10.29)] Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES/ISSS '10 - Improving platform-based system synthesis by satisfiability modulo theories solving
Reimann, Felix, Glaß, Michael, Haubelt, Christian, Eberl, Michael, Teich, JürgenYear:
2010
Language:
english
DOI:
10.1145/1878961.1878986
File:
PDF, 556 KB
english, 2010