MASUBUCHI Izumi | the Graduate School of Engineering, Hiroshima University
スポンサーリンク
概要
the Graduate School of Engineering, Hiroshima University | 論文
- Experimental Evaluation of Two Algorithms for Computing Petri Net Invariants(Special Section on Concurrent Systems Technology)
- Bi-Connectivity Augmentation for Specified Vertices of a Graph with Upper Bounds on Vertex-Degree Increase(Graph Algorithm, Foundations of Computer Science)
- Extracting Minimal Siphon-Traps of Petri Nets and Its Application to Computing Nonnegative Integer-Invariants(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets
- An Active Scheduler : Autonomous Concurrency Control of Parallel Programs in Distributed Environment(Regular Section)