IEICE Technical Report

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

Circuits and Systems

Workshop Date : 2009-11-26 - 2009-11-27 / Issue Date : 2009-11-19

CAS2009-45
On a new model for Quantum Computers by using Quantum Petri Nets
Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.)
pp. 1 - 6

CAS2009-46
Advanced Technologies for Dependable Systems through Product Lifecycle by Managing Gaps among their Specification, Implementation, and Environment.
Naoshi Uchihira (Toshiba)
pp. 7 - 12

CAS2009-47
Hierarchical Abstraction of Nonlinear Oscillator Macromodels
Jaijeet Roychowdhury (Univ. of California, Berkeley)
pp. 13 - 17

CAS2009-48
A New FDTD Algorithm Based on Alternating-Direction Explicit (ADE) Method
Shuichi Aono (SESAME Tech Inc.), Masaki Unno, Hideki Asai (Shizuoka Univ.)
pp. 19 - 24

CAS2009-49
Parallel-Distributed Block Latency Insertion Method (Block-LIM) for Fast Transient Simulation of Tightly Coupled Transmission Lines
Yuta Inoue, Tadatoshi Sekine, Hideki Asai (Shizuoka Univ.)
pp. 25 - 30

CAS2009-50
[Invited Talk] Computational Complexity Analysis and Algorithms Design for Combinatorial Problems
Toshimasa Watanabe (Hiroshima Univ.)
pp. 31 - 33

CAS2009-51
Model and Model Checking of Embedded Systems using Probablistic Game Theory
Shouta Koshida, Satoshi Yamane (Kanazawa Univ.)
pp. 35 - 40

CAS2009-52
Model Checking of subclass of PTCTL by Probabilistic Timed REGAR
Masaki Takahashi, Atsushi Morishita, Satoshi Yamane (Kanazawa Univ)
pp. 41 - 46

CAS2009-53
Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
Shigemasa Takai, Toshimitsu Ushio (Osaka Univ.)
pp. 47 - 52

CAS2009-54
Design and Evaluation of Graphics Accelerator System for Mobile Appliances
Yasushi Nagai, Toru Owada (Hitachi), Tetsuo Takagi (Hitachi AD), Isao Takita (Hitachi)
pp. 53 - 57

CAS2009-55
Universal Test Sets for Reversible Circuits
Satoshi Tayu, Shota Fukuyama, Shuichi Ueno (Tokyo Inst. of Tech.)
pp. 59 - 64

CAS2009-56
ILP Formulation of Graph Embedding and Its Application to LSI Routing
Keisuke Inoue (JAIST/JSPS), Mineo Kaneko (JAIST)
pp. 65 - 70

CAS2009-57
A Method to Determine Firing Times of Transitions for Timed Petri Nets by Introducing Stochastic Decision Rules
Yoshimasa Miwa (Yamaguchi Univ.), Chen Li (Univ. of Tokyo), Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 71 - 76

CAS2009-58
Experimental Evaluation of Asynchronous Genetic Algorithms on Line Topology
Hayato Miyagi, Morikazu Nakamura (Univ. of the Ryukyus)
pp. 77 - 81

CAS2009-59
The Design of distributed algorithm for information gathering by using Petri Net
Shin'nosuke Yamaguchi (Kyushu Inst. of Tech.), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ)
pp. 83 - 88

CAS2009-60
On Refactoring of Free-Choice Workflow Nets to Well-Structured Workflow Nets
Yuki Kuroda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ)
pp. 89 - 93

CAS2009-61
Application of a Consensus Problem to Distributed Fair QoS Control in Multi-tier Server Systems
Naoki Hayashi, Toshimitsu Ushio, Takafumi Kanazawa (Osaka Univ.)
pp. 95 - 98

CAS2009-62
On Choreography Realization by Using Petri Nets
Toshiyuki Miyamoto (Osaka Univ.), Taku Fujii (Ogis-RI)
pp. 99 - 104

CAS2009-63
Minimum Realization of Condition/Event Net Exhibiting Specified Behavior
Susumu Hashizume, Tomoyuki Yajima, Katsuaki Onogi (Nagoya Univ.)
pp. 105 - 110

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

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