| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| DC | 2021-02-05 15:30 |
Online | Online | A Don't Care Filling Method of Control Signals Based on Non-scan Field Testability at Register Transfer Level Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.)  DC2020-77 |
A field testing that monitors the values of circuit outputs and internal signal lines during function mode is used as on... [more] | DC2020-77 pp.48-53 |
| CCS, NLP | 2020-06-05 15:50 |
Online | Online | Nonlinear dynamics of a turbulent fire under high oxygen concentrations Katsutoshi Utsugi, Takumi Tokami, Hiroshi Gotoda (TUS) NLP2020-20 CCS2020-10 |
We have clarified the spatiotemporal dynamics of the temperature field during a turbulent fire under high oxygen concent... [more] | NLP2020-20 CCS2020-10 pp.45-48 |
| CAS, NLP | 2016-10-27 13:55 |
Tokyo | Nonlinear dynamics of turbulent pool fire Kazushi Takagi, Hiroshi Gotoda (Tokyo Univ. Sci.), Isao Tokuda, Takaya Miyano (Ritsumeikan Univ.) CAS2016-45 NLP2016-71 |
We numerically conduct a detailed study on nonlinear dynamics of large-scale turbulent fire by using symbolic dynamics a... [more] | CAS2016-45 NLP2016-71 pp.39-42 |
|
| SS, MSS | 2016-01-25 18:05 |
Ishikawa | Shiinoki-Geihin-Kan | Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems Shota Matsumoto, Kazunori Ueda (Waseda Univ.) MSS2015-51 SS2015-60 |
本研究の目的は離散変化と連続変化の両方を伴う動的システム （ハイブリッドシステム）の精度保証シミュレータの開発である． 我々はこれまで制約求解と数式処理に基づき，システムのパラメータ解析を 可能とするシミュレータを開発してきたが，適用... [more] |
MSS2015-51 SS2015-60 pp.93-98 |
| NLP | 2010-07-12 14:20 |
Ishikawa | Ishikawa Prefectural Bunkyo Hall | Analysis on Mechanism of Dynamic Generation by Discrete-Continuous Coupled Model in Symbolic Communication Takuma Torii, Takashi Hashimoto (JAIST) NLP2010-36 |
Symbolic communication involves both generation and sharing of novel expressions and meanings. In this study, we modeled... [more] | NLP2010-36 pp.39-42 |
| MSS | 2009-08-06 14:20 |
Tokyo | JAIST Tokyo Campus | Parameter estimation by combination of differential elimination and genetic algorithm in the biological network including unmeasured variables Masahiko Nakatsui, Katsuhisa Horimoto (AIST) CST2009-13 |
In this study, a symbolic-numeric method is proposed to estimate kinetic parameters on the entire network, only from tim... [more] | CST2009-13 pp.7-12 |
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2009-03-05 17:30 |
Niigata | Sado Island Integrated Development Center | Debugging Support for Synchronization of Parallel Execution in System Level Designs Hiroki Harada, Tasuku Nishihara, Takeshi Matsumoto (Tokyo University), Masahiro Fujita (Tokyo University/JST) CPSY2008-94 DC2008-85 |
There are many high-level designs contain parallel execution, synchronization, or communication, and they are often erro... [more] | CPSY2008-94 DC2008-85 pp.37-42 |
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 10:30 |
Kagoshima | A technique of automatic input pattern generation for system-level design descriptions by concrete and symbolic simulations Yoshihisa Kojima, Tasuku Nishihara, Takeshi Matsumoto (Univ. of Tokyo), Masahiro Fujita (VDEC, Univ of Tokyo) DC2007-106 CPSY2007-102 |
As the VLSI systems grow larger and more complicated, it becomes more difficult to manually prepare the input patterns o... [more] | DC2007-106 CPSY2007-102 pp.133-138 |
|
[Return to Top Page]