Communication-Communication Systems(Date:2009/01/22)

Presentation
表紙

,  

[Date]2009/1/22
[Paper #]
目次

,  

[Date]2009/1/22
[Paper #]
On Upper and Lower Bounds of Optimal Execution Time of Task Graph by Considering Communication Delays

Takashi OTSUKA,  Masato NAKAHARA,  Qi-Wei GE,  Mitsuru NAKATA,  Yuu MORIYAMA,  Hirotoshi TONOU,  

[Date]2009/1/22
[Paper #]CST2008-41
A Method of Petri Nets and Calculating the Elementary T-invariants for Public-key Cryptography MEPKC

Ryo YAMAGUCHI,  Qi-Wei GE,  Mitsuru NAKATA,  

[Date]2009/1/22
[Paper #]CST2008-42
Enhancing an Algorithm for Finding Legal Firing Sequences of Petri Nets by Means of Controlling Token Supply Flow and Conflicting Transition-based Backtracking

Kaigo HATANO,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2009/1/22
[Paper #]CST2008-43
An Algorithm for the Marking Construction Problem of Petri Nets Enhanced by a MAX-LFS Algorithm and Improvement of Post-processing

Toshihisa ISHII,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2009/1/22
[Paper #]CST2008-44
Optimal Resource Allocation with Fairness in Multi-tier Server Systems

Hirokazu AKAI,  Toshimitsu USHIO,  

[Date]2009/1/22
[Paper #]CST2008-45
On Model Checking Method for Soundness Verification of Workflow Nets

Munenori YAMAGUCHI,  Shingo YAMAGUCHI,  Minoru TANAKA,  

[Date]2009/1/22
[Paper #]CST2008-46
On Analysis of Dynamic Change to Chained and Nested Interworkflows

Tetsushi NARUI,  Shingo YAMAGUCHI,  Qi-Wei GE,  Minoru TANAKA,  

[Date]2009/1/22
[Paper #]CST2008-47
An Improved Algorithm to Generate Feature Graphs for Handwritten Character Recognition

Masaki HAYASHI,  Shuichi NISHIDA,  Mariko KURAMOCHI,  Asami NINOMIYA,  Mitsuru NAKATA,  Qi-Wei GE,  Makoto YOSHIMURA,  

[Date]2009/1/22
[Paper #]CST2008-48
Reinforcement Learning of Optimal Supervisor based on the Worst-Case Behavior

Kouji KAJIWARA,  Tatsushi YAMASAKI,  

[Date]2009/1/22
[Paper #]CST2008-49
Design and Implementation of Secret Sharing Distributed Database System

Syota MINAKAMI,  Toshiyuki MIYAMOTO,  

[Date]2009/1/22
[Paper #]CST2008-50
A Parallel Evolutionary Tree-base Method on Line Topologies for Multiple Alignment Problems

Hidehito KATSUMI,  Morikazu NAKAMURA,  Takeo OKAZAKI,  

[Date]2009/1/22
[Paper #]CST2008-51
VNS-based Enhancing of a Distributed Branch-and-Bound Algorithm ParaBSC for the Graph Coloring Problem

Yukihiro DOGO,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2009/1/22
[Paper #]CST2008-52
Modeling and Verification of Hybrid Systems using Boolean Differential Constraints

Daisuke ISHII,  Kazunori UEDA,  Hiroshi HOSOBE,  

[Date]2009/1/22
[Paper #]CST2008-53
Distributed Multiple and Simultaneous Control via Shared Memory

SERRANO Eleazar JIMENEZ,  

[Date]2009/1/22
[Paper #]CST2008-54
An Overview of Character Recognition Techniques and Its Application to Postal Sorting Systems

Daisuke NISHIWAKI,  

[Date]2009/1/22
[Paper #]CST2008-55
複写される方へ

,  

[Date]2009/1/22
[Paper #]
Notice for Photocopying

,  

[Date]2009/1/22
[Paper #]
奥付

,  

[Date]2009/1/22
[Paper #]