Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, CAS |
2004-11-04 09:30 |
Aichi |
Aichi Pref. Univ. |
An application of behavioral traps to liveness monotonicity of POC nets Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
Petri net is an effective model for concurrent systems. Siphon and trap give an effective tool for liveness analysis of ... [more] |
CAS2004-42 CST2004-21 pp.1-5 |
MSS, CAS |
2004-11-04 09:55 |
Aichi |
Aichi Pref. Univ. |
Symbolic reachability analysis method of probabilistic linear hybrid automata Yosuke Mutsuda, Satoshi Yamane (Kanazawa Univ.) |
We can model embedded systems as hybrid systems.
Moreover, they are distributed and real-time systems.
For the purpose... [more] |
CAS2004-43 CST2004-22 pp.7-12 |
MSS, CAS |
2004-11-04 10:20 |
Aichi |
Aichi Pref. Univ. |
Reachability analysis method of nonlinear hybrid automata using approximation techniques Takashi Yamanzaki, Satoshi Yamane (Kanazawa Univ.) |
Hybrid systems are digital real-time systems that are embedded in analog
environments.
It is important to guarantee th... [more] |
CAS2004-44 CST2004-23 pp.13-17 |
MSS, CAS |
2004-11-04 10:45 |
Aichi |
Aichi Pref. Univ. |
Broadcast scheduling for a parallel distributed system Hiroshi Tamura, Futoshi Tasaki (Niigata Inst. Tech.), Masakazu Sengoku (Niigata Univ.), Shoji Shinoda (Chuo Univ.) |
A broadcast operation is one of the important functions of parallel
distributed systems. In order to find out a optimal... [more] |
CAS2004-45 CST2004-24 pp.19-24 |
MSS, CAS |
2004-11-04 11:20 |
Aichi |
Aichi Pref. Univ. |
Arithmetic Cost Reduction Algorithm for Linear Transformation Circuits Considering the Synthesis Order of Coeficient Set Keisuke Sato, Takao Sasaki, Hisamichi Toyoshima (Kanagawa Univ.) |
For synthesis of linear transformation circuits, it is generally used that the coefficient matrix is partitioned
i... [more] |
CAS2004-46 CST2004-25 pp.25-28 |
MSS, CAS |
2004-11-04 11:45 |
Aichi |
Aichi Pref. Univ. |
A Study on the Pole Assignment for the Three-Dimensional Systems (II) Atsushi Kawakami (Kanazawa Insti. of Tech.) |
In the past, we proposed a method for assigning poles for the three-dimensional systems described by the state-space mod... [more] |
CAS2004-47 CST2004-26 pp.29-34 |
MSS, CAS |
2004-11-04 12:10 |
Aichi |
Aichi Pref. Univ. |
Expansion of the image using the B-spline surface Norito Kato, Hiroshi Yasukawa (Aichi Prefectural Univ.), Akira Taguchi (MIT) |
[more] |
CAS2004-48 CST2004-27 pp.35-39 |
MSS, CAS |
2004-11-04 13:55 |
Aichi |
Aichi Pref. Univ. |
Theory of Autonomous Distributed Optimization of Information Network and its implementation by means of semaphore control Yuki Shibata, Hitoshi Watanabe (Soka Univ.) |
[more] |
CAS2004-49 CST2004-28 pp.41-46 |
MSS, CAS |
2004-11-04 14:20 |
Aichi |
Aichi Pref. Univ. |
A Study on the Marginal Reliability of Multi-hop Wireless Network with Total Radiation Energy Restriction Sumio Hayashi, Hitoshi Watanabe (Soka Univ) |
[more] |
CAS2004-50 CST2004-29 pp.47-52 |
MSS, CAS |
2004-11-04 14:45 |
Aichi |
Aichi Pref. Univ. |
Optimization Method of Content Delivery Network with Information-Zooming Function(Z-CDN) Kazunobu Takada, Hitoshi Watanabe (Soka Univ.) |
[more] |
CAS2004-51 CST2004-30 pp.53-58 |
MSS, CAS |
2004-11-04 15:20 |
Aichi |
Aichi Pref. Univ. |
On Obtaining All the Elementary T-invariants Using Linear Programming Tomiyuki Fukunaga, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.) |
[more] |
CAS2004-52 CST2004-31 pp.59-64 |
MSS, CAS |
2004-11-04 15:45 |
Aichi |
Aichi Pref. Univ. |
On Dead of Program Nets Kousuke Yamada, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
This paper discusses dead for program nets. We first give the definition of
dead for program nets. A program net is sai... [more] |
CAS2004-53 CST2004-32 pp.65-70 |
MSS, CAS |
2004-11-04 16:10 |
Aichi |
Aichi Pref. Univ. |
On Computation of Maximum Throughput for Well-Structured Workflow Nets with Conflict-Free Resources Keisuke Kuniyoshi (Yamaguchi Univ.), Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ) |
This paper discusses how to calculate maximum throughput for well-structured workflow nets with conflict-free resources ... [more] |
CAS2004-54 CST2004-33 pp.71-76 |
MSS, CAS |
2004-11-04 16:35 |
Aichi |
Aichi Pref. Univ. |
On the Effect of Firing Inhibition in Finding Firing Sequences of Timed Petri Nets Tsuyoshi Tachibatake, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
The paper proposes several heuristic algorithms for the Timed Petri Net Maximum Scheduling Probrem (MAX TPS for short).T... [more] |
CAS2004-55 CST2004-34 pp.77-82 |
MSS, CAS |
2004-11-05 09:30 |
Aichi |
Aichi Pref. Univ. |
Anomalous signal detection using multi-layer neural network for electromagnetic wave radiation Akitoshi Itai, Hiroshi Yasukawa (Aichi Prefectural Univ.), Ichi Takumi (Nagoya Institute of Technology), Masayasu Hata (Chubu Univ.) |
It is well known that the electromagnetic waves that radiate from the earth's crust are useful for predicting earthquake... [more] |
CAS2004-56 CST2004-35 pp.1-6 |
MSS, CAS |
2004-11-05 09:55 |
Aichi |
Aichi Pref. Univ. |
Memory allocation method for indirect addressing DSP with discrete auto-modification Nobuhiko Sugino, Yuhei Kaneko, Akinori Nishihara (Tokyo Inst. of Tech.) |
[more] |
CAS2004-57 CST2004-36 pp.7-12 |
MSS, CAS |
2004-11-05 10:20 |
Aichi |
Aichi Pref. Univ. |
On Footstep Identification Using Parametric Analysis Based on Psycho-Acoustics Takashi Takasuka, Yasuhiro Shoji, Hiroshi Yasukawa (Aichi Prefectural Univ.) |
[more] |
CAS2004-58 CST2004-37 pp.13-18 |
MSS, CAS |
2004-11-05 11:00 |
Aichi |
Aichi Pref. Univ. |
[Special Talk]
New Grand Challenges
-- Abstract -- Yasuyoshi Inagaki (Aichi Pref. Univ.) |
[more] |
CAS2004-59 CST2004-38 pp.19-20 |