Referenced Items are not available for this document.
In this paper, we address the problem of static scheduling and software synthesis for dataflow graphs with the symbolic model-checker NuSMV using a two-step process: first use model-checking to obtain a static schedule with the objective of minimizing the data buffer size, then synthesize efficient code from the static schedule with the objective of minimizing code size and performance overheads due to runtime dynamic decisions. We show the effectiveness of these techniques using a number of digital signal processing examples.
Published in:
Real-Time Systems Symposium, 2007. RTSS 2007. 28th IEEE International
Date of Conference: 3-6 Dec. 2007
- Page(s):
- 353 - 364
- ISSN :
- 1052-8725
- Print ISBN:
- 978-0-7695-3062-8
- INSPEC Accession Number:
- 9879457
- Conference Location :
- Tucson, AZ
- Digital Object Identifier :
- 10.1109/RTSS.2007.51
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
