IEICE Technical Report

Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380

Circuits and Systems

Workshop Date : 2005-11-10 - 2005-11-11 / Issue Date : 2005-11-03

CAS2005-61
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)
pp. 1 - 6

CAS2005-62
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)
pp. 7 - 12

CAS2005-63
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)
pp. 13 - 18

CAS2005-52
A Vertical Partitioning Algorithm for the Secret Sharing Distributed Database Management System
Toshiyuki Miyamoto, Yasuhiro Morita, Sadatoshi Kumagai (Osaka Univ.)
pp. 17 - 22

CAS2005-64
[Invited Talk] Combinational Algorithms in Functional and Logic Verification Problems -- The world of BDD and SAT solver --
Akira Mukaiyama (NEC)
pp. 19 - 23

CAS2005-53
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.)
pp. 23 - 28

CAS2005-65
Net Assignment Algorithm for Ball Grid Array Packages
Takayuki Hiromatsu, Yukiko Kubo, Hiroshi Murata (The University of Kitakyusyu)
pp. 25 - 30

CAS2005-54
Design Method of Embedded Systems Based on Probabilistic Timed Interface Theoeries
Satoshi Yamane, Tsuneo Arai (Kanazawa Univ.)
pp. 29 - 34

CAS2005-66
Statistical Properties and Subclasses of Sequence Triple Code Space for Repeated Placements
Mineo Kaneko (JAIST)
pp. 31 - 36

CAS2005-55
Relationship calculation on weighted directed graph and its validity examination in ranking system -- Application on Semantic Web --
Shigeki Hino (NTT)
pp. 35 - 40

CAS2005-67
Topological conditions for dc-dc converters including a transformer
Tetsuo Nishi (Waseda Univ.), Masato Ogata (Kyushu Sangyo Univ.)
pp. 37 - 42

CAS2005-56
Experiment-based Performance Comparison of Dynamic Shortest Path Algorithms
Takashi Iguchi, Daisuke Takafuji, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ)
pp. 41 - 46

CAS2005-68
Design of Multiple Constant Multiplication Circuits Considering Hardware Constraints
Yukinobu Kato, Takao Sasaki, Hisamichi Toyoshima (Kanagawa Univ.)
pp. 43 - 47

CAS2005-57
An Algorithm for Determining a Path through a Maze of Rectangles
Toshihiko Takahashi, Jun Kusumi (Niigata Univ.)
pp. 47 - 50

CAS2005-69
Optimization of Class E Amplifiers Using SPICE
Yuichi Tanji (Kagawa Univ.)
pp. 49 - 53

CAS2005-58
On the Two-Dimensional Orthogonal Drawing of Series-Parallel Graphs
Satoshi Tayu, Kumiko Nomura, Shuichi Ueno (Tokyo Inst. of Tech.)
pp. 51 - 56

CAS2005-59
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.)
pp. 57 - 62

CAS2005-60
[Invited Talk] Radio Astronomy Observation Aided with Information Technology
Kenta Fujisawa (Yamaguchi Univ.)
pp. 63 - 66

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan