Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model...  Home/Search
Context
Related
| mimi.naist.jp/them...tani03FPL_QoSR.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: mimi.aistnara.ac.j...publication (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we propose a design and implementation method for priority queuing mechanisms on FPGAs. First, we describe behavior of WFQ (weighted fair queuing) with several parameters in a model called concurrent periodic EFSMs. Then, we derive a parameter condition for the concurrent EFSMs to execute their transitions without deadlocks in the specified time period repeatedly under the specified temporal constraints, using parametric model checking technique. From the derived parameter ... (Update)
Active bibliography (related documents): More All
0.5: Design and Implementation of Priority Queuing.. - Kitani, Takamoto, .. (2003) (Correct)
0.5: A Flexible and High-Reliable HW/SW Co-Design Method .. - Kitani, Takamoto.. (2004) (Correct)
0.2: A Method for Functional Testing of Media.. - Yamada, Mori.. (2002) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ fpga-design,
author = "Mechanism On Fpga",
title = "Design and Implementation of Priority Queuing",
url = "citeseer.ist.psu.edu/744167.html" }
Citations (may not include all citations):1312 A Generalized Processor Sharing Approach to Flow Control in .. (context) - Parekh, Gallager - 1993
211 HYTECH: A Model Checker for Hybrid Systems - Henzinger, Ho et al. - 1997
4 Hardware Implementation of Concurrent Periodic EFSMs (context) - Katagiri, Kirimura et al. - 2000
3 Deriving Parameter Conditions for Periodic Timed Automata Sa.. - Nakata, Higashino - 2001
Documents on the same site (http://mimi.aist-nara.ac.jp/themes/publication.html): More
Energy-aware Video Streaming with QoS Control for.. - Tamai, Sun.. (2004) (Correct)
Agent Oriented Self Adaptive Genetic Algorithm - Murata, Shibata, Yasumoto, Ito (Correct)
A Personal Tourism Navigation System to Support.. - Maruyama.. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC