Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs

Nan Guan; Zonghua Gu; Wang Yi; Ge Yu

doi:10.1109/ASPDAC.2009.4796564

Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs

Nan Guan^*
, Zonghua Gu
, Wang Yi
, Ge Yu

^*此作品的通讯作者

Northeastern University China
Hong Kong University of Science and Technology
Uppsala University

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

8 引用（Scopus）

摘要

Synchronous Dataflow (SDF) is a well-known model of computation for dataflow-oriented applications such as embedded systems for signal processing and multimedia. It is important to minimize the buffer size requirements of applications generated from SDF graphs, since memory space is often a scarce resource in these systems due to cost or power consumption constraints. Some authors have proposed to use model-checking for finding the minimum buffer size requirements, but the scalability of model-checking is limited by state space explosion. In this paper, we present several techniques for reducing state space size and improving scalability of model-checking by exploiting problem-specific properties of SDF graphs.

源语言	英语
主期刊名	Proceedings of the ASP-DAC 2009
主期刊副标题	Asia and South Pacific Design Automation Conference 2009
页	715-720
页数	6
DOI	https://doi.org/10.1109/ASPDAC.2009.4796564
出版状态	已出版 - 2009
已对外发布	是
活动	Asia and South Pacific Design Automation Conference 2009, ASP-DAC 2009 - Yokohama, 日本期限: 19 1月 2009 → 22 1月 2009

出版系列

姓名	Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

会议

会议	Asia and South Pacific Design Automation Conference 2009, ASP-DAC 2009
国家/地区	日本
市	Yokohama
时期	19/01/09 → 22/01/09

访问文件

10.1109/ASPDAC.2009.4796564

其它文件与链接

链接到 Scopus 的出版物

引用此

Guan, N., Gu, Z., Yi, W., & Yu, G. (2009). Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs. 在 Proceedings of the ASP-DAC 2009: Asia and South Pacific Design Automation Conference 2009 (页码 715-720). 文章 4796564 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC). https://doi.org/10.1109/ASPDAC.2009.4796564

@inproceedings{47c3a5e3b84146629004a582b5a98326,

title = "Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs",

abstract = "Synchronous Dataflow (SDF) is a well-known model of computation for dataflow-oriented applications such as embedded systems for signal processing and multimedia. It is important to minimize the buffer size requirements of applications generated from SDF graphs, since memory space is often a scarce resource in these systems due to cost or power consumption constraints. Some authors have proposed to use model-checking for finding the minimum buffer size requirements, but the scalability of model-checking is limited by state space explosion. In this paper, we present several techniques for reducing state space size and improving scalability of model-checking by exploiting problem-specific properties of SDF graphs.",

author = "Nan Guan and Zonghua Gu and Wang Yi and Ge Yu",

year = "2009",

doi = "10.1109/ASPDAC.2009.4796564",

language = "英语",

isbn = "9781424427482",

series = "Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC",

pages = "715--720",

booktitle = "Proceedings of the ASP-DAC 2009",

note = "Asia and South Pacific Design Automation Conference 2009, ASP-DAC 2009 ; Conference date: 19-01-2009 Through 22-01-2009",

}

Guan, N, Gu, Z, Yi, W & Yu, G 2009, Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs. 在 Proceedings of the ASP-DAC 2009: Asia and South Pacific Design Automation Conference 2009., 4796564, Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, 页码 715-720, Asia and South Pacific Design Automation Conference 2009, ASP-DAC 2009, Yokohama, 日本, 19/01/09. https://doi.org/10.1109/ASPDAC.2009.4796564

Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs. / Guan, Nan; Gu, Zonghua; Yi, Wang 等.
Proceedings of the ASP-DAC 2009: Asia and South Pacific Design Automation Conference 2009. 2009. 页码 715-720 4796564 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

TY - GEN

T1 - Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs

AU - Guan, Nan

AU - Gu, Zonghua

AU - Yi, Wang

AU - Yu, Ge

PY - 2009

Y1 - 2009

N2 - Synchronous Dataflow (SDF) is a well-known model of computation for dataflow-oriented applications such as embedded systems for signal processing and multimedia. It is important to minimize the buffer size requirements of applications generated from SDF graphs, since memory space is often a scarce resource in these systems due to cost or power consumption constraints. Some authors have proposed to use model-checking for finding the minimum buffer size requirements, but the scalability of model-checking is limited by state space explosion. In this paper, we present several techniques for reducing state space size and improving scalability of model-checking by exploiting problem-specific properties of SDF graphs.

AB - Synchronous Dataflow (SDF) is a well-known model of computation for dataflow-oriented applications such as embedded systems for signal processing and multimedia. It is important to minimize the buffer size requirements of applications generated from SDF graphs, since memory space is often a scarce resource in these systems due to cost or power consumption constraints. Some authors have proposed to use model-checking for finding the minimum buffer size requirements, but the scalability of model-checking is limited by state space explosion. In this paper, we present several techniques for reducing state space size and improving scalability of model-checking by exploiting problem-specific properties of SDF graphs.

UR - https://www.scopus.com/pages/publications/64549132914

U2 - 10.1109/ASPDAC.2009.4796564

DO - 10.1109/ASPDAC.2009.4796564

M3 - 会议稿件

AN - SCOPUS:64549132914

SN - 9781424427482

T3 - Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

SP - 715

EP - 720

BT - Proceedings of the ASP-DAC 2009

T2 - Asia and South Pacific Design Automation Conference 2009, ASP-DAC 2009

Y2 - 19 January 2009 through 22 January 2009

ER -

Guan N, Gu Z, Yi W, Yu G. Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs. 在 Proceedings of the ASP-DAC 2009: Asia and South Pacific Design Automation Conference 2009. 2009. 页码 715-720. 4796564. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC). doi: 10.1109/ASPDAC.2009.4796564

Improving Scalability of Model-Checking for Minimizing Buffer Requirements of Synchronous Dataflow Graphs

摘要

出版系列

会议

访问文件

其它文件与链接

指纹

引用此