Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, KBSE |
2013-07-26 13:40 |
Hokkaido |
|
Verification of Feasibility by Model Checking Techniques Applied to UML Requirements Analysis Model Yoshitaka Aoki (Nihon Unisys), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-29 KBSE2013-29 |
A key to success of developing high quality software products is to define valid and feasible requirements specification... [more] |
SS2013-29 KBSE2013-29 pp.97-102 |
COMP |
2012-12-10 16:40 |
Fukuoka |
Kyushu University |
Enumeration of PLCP-orientations on the 4-cube Komei Fukuda, Lorenz Klaus (ETH Zurich), Hiroyuki Miyata (Tohoku Univ.) COMP2012-50 |
The linear complementarity problem (LCP) is an important problem, which provides unified approaches to many problems suc... [more] |
COMP2012-50 pp.41-48 |
CAS |
2012-01-20 09:00 |
Fukuoka |
Kyushu Univ. |
On the realizability condition of RC polyphase 2-ports Tetsuo Nishi (Waseda Univ.), Hiroshi Tanimoto (Kitami Inst. of Tech.), Shin'ichi Oishi (Waseda Univ.) CAS2011-100 |
We give some sufficient conditions for the realizability for RC polyphase 2-ports. [more] |
CAS2011-100 pp.83-88 |
MSS, CAS, VLD, SIP |
2011-07-01 13:50 |
Okinawa |
Okinawa-Ken-Seinen-Kaikan |
Minimum Perturbation Placement Realization for Area-Extended Model Placement Shota Hirae, Yuki Kouno, Yasuhiro Takashima (Univ. of Kitakyushu) CAS2011-24 VLD2011-31 SIP2011-53 MSS2011-24 |
In this paper, we propose an algorithm to solve minimum perturbation
placement realization for the area-extended model... [more] |
CAS2011-24 VLD2011-31 SIP2011-53 MSS2011-24 pp.135-140 |
COMP |
2010-04-22 13:15 |
Shiga |
Ritusmeikan University, Biwako-Kusatsu Campus |
Complete classification of small realizable oriented matroids Hiroyuki Miyata, Sonoko Moriyama (Tokyo Univ.), Komei Fukuda (ETH Zurich) COMP2010-4 |
Enumerating combinatorial types of point configurations, hyperplane arrangements and convex polytopes are fundamental pr... [more] |
COMP2010-4 pp.25-31 |
MSS, CAS |
2009-11-27 17:05 |
Aichi |
Nagoya University |
Minimum Realization of Condition/Event Net Exhibiting Specified Behavior Susumu Hashizume, Tomoyuki Yajima, Katsuaki Onogi (Nagoya Univ.) CAS2009-63 CST2009-36 |
A Petri net is one of promising modeling tools for discrete event systems. The behavior of Petri nets can be described b... [more] |
CAS2009-63 CST2009-36 pp.105-110 |
SIP, RCS |
2009-01-22 16:40 |
Kumamoto |
Kumamoto University |
[Invited Talk]
Merger of Control and Signal Processing
-- State-Space Approach -- Takao Hinamoto (Hiroshima Univ.) SIP2008-144 RCS2008-192 |
Modern control theory, digital control theory, and digital signal processing (DSP) have intersecting features from the t... [more] |
SIP2008-144 RCS2008-192 pp.119-124 |
CAS |
2006-01-11 14:00 |
Miyazaki |
|
Score Sequence Pair Problems of (r11,r12,r22)-Tournaments
-- Construction -- Masaya Takahashi (Fukuoka Inst. of Tech./Waseda Univ), Takahiro Watanabe, Takeshi Yoshimura (Waseda Univ) |
Let G be any graph with the property P (for example, general graph, directed graph, etc.) and S be nonnegative and non-d... [more] |
CAS2005-70 pp.1-6 |
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 |
NS, CS, IN |
2004-09-03 09:25 |
Miyagi |
Tohoku University |
Feasibility Evaluation of IP^2 Mobility Management Yoshinori Hayashi, Atsushi Iwasaki, Takatoshi Okagawa (NTT DoCoMo), Masayuki Ariyoshi, Shinta Sugimoto, Andras Valko (Ericsson) |
An experimental system of IP2 mobility management was designed and implemented in order to examine feasibility of the pr... [more] |
NS2004-109 IN2004-68 CS2004-64 pp.47-50 |