loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
28th IEEE International Real-Time Systems Symposium (RTSS 2007)
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking
Tucson, Arizona, USA
December 03-December 06
ISBN: 0-7695-3062-1
ASCII Text
x 
 
Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu, "Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking," Real-Time Systems Symposium, IEEE International, pp. 353-364, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/RTSS.2007.51,
author = {Zonghua Gu and Mingxuan Yuan and Nan Guan and Mingsong Lv and Xiuqiang He and Qingxu Deng and Ge Yu},
title = {Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking},
journal ={Real-Time Systems Symposium, IEEE International},
volume = {0},
year = {2007},
issn = {1052-8725},
pages = {353-364},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTSS.2007.51},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Systems Symposium, IEEE International
TI - Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking
SN - 1052-8725
SP353
EP364
A1 - Zonghua Gu,
A1 - Mingxuan Yuan,
A1 - Nan Guan,
A1 - Mingsong Lv,
A1 - Xiuqiang He,
A1 - Qingxu Deng,
A1 - Ge Yu,
PY - 2007
VL - 0
JA - Real-Time Systems Symposium, IEEE International
ER -
 
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 min- imizing 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.
Citation:
Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu, "Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking," rtss, pp.353-364, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.