Karsten Strehl, Lothar Thiele, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich. Scheduling hardware/software systems using symbolic techniques. In Ahmed Amine Jerraya, Luciano Lavagno, Frank Vahid, editors, Proceedings of the Seventh International Workshop on Hardware/Software Codesign, CODES 1999, Rome, Italy, 1999. pages 173-177, ACM, 1999. [doi]
Abstract is missing.