Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking

Authors:
Zonghua Gu;Mingxuan Yuan;Nan Guan;Mingsong Lv;Xiuqiang He;Qingxu Deng;Ge Yu
Affiliations:
-;-;-;-;-;-;-
Venue:
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Year:
2007

Citing 0
Cited 3

Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs

Proceedings of the 2009 Asia and South Pacific Design Automation Conference
An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking

CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Methods to explore design space for MPEG RMC codec specifications

Image Communication

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper focuses on priority assignment for real- time systems using fixed priority scheduling. It introduces and defines the concept of a "robust" priority ordering: the most appropriate priority ordering to use in a system subject to variable amounts ...