@inproceedings{11cf483a2cfd40d49758c5c2dbac4a67,
title = "Integrating timed automata into tabu algorithm for HW-SW partitioning",
abstract = "Hardware/software (HW-SW) partitioning is a key problem in codesign of embedded systems, studied extensively in the past. This paper describes a new approach to hardware/software partitioning for synchronous model. We formalize the partitioning problem using timed automata, which captures the key elements of the partitioning. Then the tabu algorithm is applied to timed automata model to search for the solution efficiently. An industrial experiment is conducted to show our approach can handle large applications with hundreds of nodes in task graph effectively.",
author = "Geguang Pu and Zhang Chong and Zongyan Qiu and Jifeng He and Wang Yi",
year = "2006",
doi = "10.1109/ICECCS.2006.1690362",
language = "英语",
isbn = "9780769525303",
series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "131--138",
booktitle = "Proceedings - 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006",
address = "美国",
note = "11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006 ; Conference date: 15-08-2006 Through 17-08-2006",
}