Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
CST2007-46
On Scheduling of Sugarcane Farming in Multiple Farms
Hirofumi Matsuda, Senlin Guan, Morikazu Nakamura, Takeshi Shikanai (Univ. of the Ryukyus)
pp. 1 - 5
CST2007-47
Existence of Discrete Event Diagnosers Tolerating Failures of Event Sensors
Shigemasa Takai (Kyoto Inst. of Tech.)
pp. 7 - 10
CST2007-48
A Method of Generating and Complicating Petri Nets Used as Key-generator of a public-key cryptgraphy MEPKC
Ryosuke Murakami, Ryo Yamaguchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ)
pp. 11 - 16
CST2007-49
Control Trigger for the Implementation of Optimized Multiple and Simultaneous Control
Eleazar Jimenez Serrano, Keijiro Araki (Kyushu Univ.)
pp. 17 - 22
CST2007-50
A Scheduling Method for Multi-Processor Systems with Communication Delays
Takashi Otsuka, Hironori Youhata, Qi-Wei Ge, Mitsuru Nakata (Ymaguchi Univ.), Yuu Moriyama, Hirotoshi Tonou (Fujitsu TEN)
pp. 23 - 28
CST2007-51
Automatic generation of manual for discrete event systems operated by multiple users
Ayako Suzuki, Toshimitsu Ushio (Osaka Univ.)
pp. 29 - 34
CST2007-52
A Method of Generating Graphs of Character Structures for Japanese Historical Documents
Masaki Hayashi, Nami Saitoh, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.)
pp. 35 - 40
CST2007-53
A Study on Applying Reinforcement Learning to a Safety Critical System
Shinichi Fujiwara, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.)
pp. 41 - 46
CST2007-54
Finding Legal Firing Sequences Permitting Excess Firing of Transitions in Petri Nets
Koki Katayama, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 47 - 52
CST2007-55
On Verification of Marking-Dependent Terminacy for SWITCH-Less Program Nets
Keisuke Komiya, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
pp. 53 - 58
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.