Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ASPDAC
2009
ACM

favoriteEmaildiscussreport

80views Hardware» more ASPDAC 2009»

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

13 years 11 months ago

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

Download user.it.uu.se

Nan Guan, Zonghua Gu, Wang Yi, Ge Yu

Real-time Traffic

ASPDAC 2009 | Hardware |

claim paper

Related Content

» Minimising buffer requirements of synchronous dataflow graphs with model checking

» Minimizing buffer requirements for throughput constrained parallel execution of synchronou...

» ThroughputBuffering TradeOff Exploration for CycloStatic and Synchronous Dataflow Graphs

» Exploring tradeoffs in buffer requirements and throughput constraints for synchronous data...

» A Buffer Merging Technique for Reducing Memory Requirements of Synchronous Dataflow Specif...

» Minimizing Buffer Requirements under RateOptimal Schedule in Regular Dataflow Networks

» Shift buffering technique for automatic code synthesis from synchronous dataflow graphs

» Efficient simulation of critical synchronous dataflow graphs

» Categorization and Optimization of Synchronization Dependencies in Business Processes

Post Info
More Details (n/a)

Added	28 May 2010
Updated	28 May 2010
Type	Conference
Year	2009
Where	ASPDAC
Authors	Nan Guan, Zonghua Gu, Wang Yi, Ge Yu

Comments (0)