|
@article{HHBKT12, author = {Kai Huang and Wolfgang Haid and Iuliana Bacivarov and Matthias Keller and Lothar Thiele}, title = {Embedding Formal Performance Analysis into the Design Cycle of MPSoCs for Real-time Streaming Applications}, journal = {ACM Transactions in Embedded Computing Systems (TECS)}, number = {1}, pages = {8:1--8:23}, volume = {11}, month = {Mar}, year = {2012} }