Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, CAS |
2005-11-10 10:30 |
Yamaguchi |
Yamaguchi University |
Max-Flow Scheduling in High Level Synthesis Liangwei Ge, Kouhei Isoda, Takeshi Yoshimura (Waseda Univ.) |
Scheduling in essence is a process of finding a matching between operations and control steps in the bipartite graph. In... [more] |
CAS2005-49 CST2005-18 pp.1-6 |
MSS, CAS |
2005-11-10 10:55 |
Yamaguchi |
Yamaguchi University |
An Application of State Feedback Control to Scheduling of Periodic Tasks on Dynamic Reconfigurable Device Kenji Onogi, Toshimitsu Ushio (Osaka Univ.) |
A dynamic reconfigurable device is a device which can change its hardware configuration dynamically in order to achieve ... [more] |
CAS2005-50 CST2005-19 pp.7-12 |
MSS, CAS |
2005-11-10 11:20 |
Yamaguchi |
Yamaguchi University |
On the Complexity of Fault Testing for Reversible Circuits Shigeru Ito, Yusuke Ito, Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.) |
This paper shows that it is NP-hard to generate a minimum complete test set for stuck-at faults on a set of wires of a r... [more] |
CAS2005-51 CST2005-20 pp.13-16 |
MSS, CAS |
2005-11-10 13:00 |
Yamaguchi |
Yamaguchi University |
A Vertical Partitioning Algorithm for the Secret Sharing Distributed Database Management System Toshiyuki Miyamoto, Yasuhiro Morita, Sadatoshi Kumagai (Osaka Univ.) |
Because the amount of data treated by a database system increases,
the necessity of distributed database management sy... [more] |
CAS2005-52 CST2005-21 pp.17-22 |
MSS, CAS |
2005-11-10 13:25 |
Yamaguchi |
Yamaguchi University |
Formula Derivation of the Number of Migration Times for Mobile Agent with Retransmission Function and Its Application Masayuki Sato (Yamaguchi Univ.), Misako Urakami (Oshima N.C.T.), Hiroshi Matsuno (Yamaguchi Univ.) |
In recent years, when getting safety information in an emergency and information for navigate vessels in the inland sea,... [more] |
CAS2005-53 CST2005-22 pp.23-28 |
MSS, CAS |
2005-11-10 13:50 |
Yamaguchi |
Yamaguchi University |
Design Method of Embedded Systems Based on Probabilistic Timed Interface Theoeries Satoshi Yamane, Tsuneo Arai (Kanazawa Univ.) |
Embedded systems, from control systems to home information appliances,
are increasingly deployed in safety-critical si... [more] |
CAS2005-54 CST2005-23 pp.29-34 |
MSS, CAS |
2005-11-10 14:35 |
Yamaguchi |
Yamaguchi University |
Relationship calculation on weighted directed graph and its validity examination in ranking system
-- Application on Semantic Web -- Shigeki Hino (NTT) |
Graph algorithms are increasingly used in the back-end of internet services. However most of them are optimized for some... [more] |
CAS2005-55 CST2005-24 pp.35-40 |
MSS, CAS |
2005-11-10 15:00 |
Yamaguchi |
Yamaguchi University |
Experiment-based Performance Comparison of Dynamic Shortest Path Algorithms Takashi Iguchi, Daisuke Takafuji, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ) |
[more] |
CAS2005-56 CST2005-25 pp.41-46 |
MSS, CAS |
2005-11-10 15:25 |
Yamaguchi |
Yamaguchi University |
An Algorithm for Determining a Path through a Maze of Rectangles Toshihiko Takahashi, Jun Kusumi (Niigata Univ.) |
Consider motion planning in which a robot travels from a start (X,Y) to the target (0,0) in a plane with randomly placed... [more] |
CAS2005-57 CST2005-26 pp.47-50 |
MSS, CAS |
2005-11-10 15:50 |
Yamaguchi |
Yamaguchi University |
On the Two-Dimensional Orthogonal Drawing of Series-Parallel Graphs Satoshi Tayu, Kumiko Nomura, Shuichi Ueno (Tokyo Inst. of Tech.) |
It has been known that every planar $4$-graph has a $2$-bend $2$-D orthogonal drawing with the only exception of octahed... [more] |
CAS2005-58 CST2005-27 pp.51-56 |
MSS, CAS |
2005-11-10 16:15 |
Yamaguchi |
Yamaguchi University |
A Branch and Bound Algorithm for the Minimum Dominating Set Problem and its Hardware Implementation on FPGAs Kenji Kikuchi, Shin'ichi Wakabayashi (Hiroshima City Univ.) |
A branch and bound algorithm for finding a minimum dominating set of a given graph was proposed,and experimental evaluat... [more] |
CAS2005-59 CST2005-28 pp.57-62 |
MSS, CAS |
2005-11-10 17:00 |
Yamaguchi |
Yamaguchi University |
[Invited Talk]
Radio Astronomy Observation Aided with Information Technology Kenta Fujisawa (Yamaguchi Univ.) |
Radio Astronomy was born in a course of research of short-wave telecommunication. It has grown up with the aid of commun... [more] |
CAS2005-60 CST2005-29 pp.63-66 |
MSS, CAS |
2005-11-11 10:00 |
Yamaguchi |
Yamaguchi University |
Structural Representation of Signaling Pathways by T-invariants Shunichi Suzuki, Chen Li, Qi-Wei Ge, Mitsuru Nakata, Hiroshi Matsuno (Yamaguchi Univ.), Satoru Miyano (Univ. of Tokyo) |
[more] |
CAS2005-62 CST2005-31 pp.7-12 |
MSS, CAS |
2005-11-11 10:25 |
Yamaguchi |
Yamaguchi University |
Colored Petri Net based Performance analysis of Flexible Manufacturing System with planned and unplanned Resource Breakdowns Tauseef Aized, Koji Takahashi, Ichiro Hagiwara (Tokyo Inst. of Technology) |
[more] |
CAS2005-61 CST2005-30 pp.1-6 |
MSS, CAS |
2005-11-11 10:50 |
Yamaguchi |
Yamaguchi University |
An Experimental Evaluation of Job-Shop Cyclic Time Optimization based on Evolutionary Petri Nets Koji Hachiman (Okinawa Univ.), Morikazu Nakamura, Hiroki Tome, Shiro Tamaki (Univ. of the Ryukyus) |
[more] |
CAS2005-63 CST2005-32 pp.13-18 |
MSS, CAS |
2005-11-11 11:30 |
Yamaguchi |
Yamaguchi University |
[Invited Talk]
Combinational Algorithms in Functional and Logic Verification Problems
-- The world of BDD and SAT solver -- Akira Mukaiyama (NEC) |
[more] |
CAS2005-64 CST2005-33 pp.19-23 |
MSS, CAS |
2005-11-11 13:30 |
Yamaguchi |
Yamaguchi University |
Net Assignment Algorithm for Ball Grid Array Packages Takayuki Hiromatsu, Yukiko Kubo, Hiroshi Murata (The University of Kitakyusyu) |
As LSI chips become larger and highly integrated, the number of package terminals is also becoming larger. Ball Grid Arr... [more] |
CAS2005-65 CST2005-34 pp.25-30 |
MSS, CAS |
2005-11-11 13:55 |
Yamaguchi |
Yamaguchi University |
Statistical Properties and Subclasses of Sequence Triple Code Space for Repeated Placements Mineo Kaneko (JAIST) |
[more] |
CAS2005-66 CST2005-35 pp.31-36 |
MSS, CAS |
2005-11-11 14:20 |
Yamaguchi |
Yamaguchi University |
Topological conditions for dc-dc converters including a transformer Tetsuo Nishi (Waseda Univ.), Masato Ogata (Kyushu Sangyo Univ.) |
This paper studies on the topological condition for the switchiing converter to work as DC-DC converters and give some n... [more] |
CAS2005-67 CST2005-36 pp.37-42 |
MSS, CAS |
2005-11-11 14:45 |
Yamaguchi |
Yamaguchi University |
Design of Multiple Constant Multiplication Circuits Considering Hardware Constraints Yukinobu Kato, Takao Sasaki, Hisamichi Toyoshima (Kanagawa Univ.) |
[more] |
CAS2005-68 CST2005-37 pp.43-47 |