業績データ詳細表示

Search this article in Google Scholar

[1-15]  Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, and Teruo Higashino, ``Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking,'' In Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL2003), pp. 1145-1148, September 2003. (Lisbon, Portugal, DOI:10.1007/978-3-540-45234-8_140)

@inproceedings{1_15,
    author = {Tomoya Kitani and Yoshifumi Takamoto and Isao Naka and Keiichi
    Yasumoto and Akio Nakata and Teruo Higashino},
    author_e = {},
    editor = {},
    editor_e = {},
    title = {Design and Implementation of Priority Queuing Mechanism on {FPGA}
    using Concurrent Periodic {EFSMs} and Parametric Model Checking},
    title_e = {},
    booktitle = {Proceedings of the 13th International Conference on Field
    Programmable Logic and Applications (FPL2003)},
    booktitle_e = {},
    volume = {},
    number = {},
    pages = {1145-1148},
    organization = {},
    publisher = {},
    publisher_e = {},
    address = {},
    month = {September},
    year = {2003},
    acceptance = {},
    note = {Lisbon, Portugal, DOI:10.1007/978-3-540-45234-8_140},
    annote = {http://www.springerlink.com/content/u3qpearvyp3k00lq/}
}