| 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 # | |
| EA | 2018-10-11 14:30 |
Fukushima | Iwaki business Innovation Center (Iwaki) | A study on ship type identification by use of deep neural network Ryouichi Nishimura, Katsuhiro Temma (NICT), Kiyohiko Hattori (Saitama Inst. of Tech.), Kenji Kaneko (TEAMS), Akinori Ito (Tohoku Univ.), Toyonobu Fujii (TEAMS), Akihiro Kijima (Tohoku Univ.)  EA2018-54 |
Poaching has recently become a serious problem due to the globalization of food culture and the accompanied rising price... [more] | EA2018-54 pp.1-6 |
| SS | 2018-03-06 12:00 |
Okinawa | A symbolic Zone-based reachability analysis for dense-timed pushdown automata with freezing clocks Shoji Yuen, Sho Hiraoka (Nagoya Univ.) SS2017-65 |
We present a reachability analysis by the zone-based symbolic discretization for dense-timed pushdown automata with fre... [more] |
SS2017-65 pp.7-12 |
|
| SS | 2015-05-11 13:00 |
Kumamoto | Kumamoto University | Towards Applications of FRP in Small-Scale Embedded Systems Kensuke Sawada, Kouhei Suzuki, Takuo Watanabe (Tokyo Tech.) SS2015-1 |
In this paper, we show using examples that functional reactive programming (FRP) is beneficial for small-scale embedded ... [more] | SS2015-1 pp.1-5 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 10:00 |
Hokkaido | Furano-Bunka-Kaikan | A cost-aware scheduling for real-time tasks based on the priced task automta Shoji Yuen, Tatsuro Kamei (Nagoya Univ.) SS2014-11 KBSE2014-14 |
This report presents a technique to give the optimal cost with respect to time passage when a set of tasks are schedul... [more] |
SS2014-11 KBSE2014-14 pp.37-42 |
| PRMU | 2014-03-14 11:45 |
Tokyo | * Yuya Kato, Yuzuko Utsumi, Kai Kunze, Masakazu Iwamura, Koichi Kise (Osaka Prefecture Univ.) PRMU2013-203 |
(To be available after the conference date) [more] | PRMU2013-203 pp.209-214 |
|
| KBSE, SS | 2011-07-30 11:15 |
Hokkaido | Hokkaido Information University | On Generating Realtime Programs with Runtime Checking
-- From Timed Automata to Realtime Programs on Non-Realtime Environments -- Ilankaikone Senthooran, Julian Prokay, Takuo Watanabe (Tokyo Inst. of Tech.) SS2011-25 KBSE2011-22 |
We propose a method of generating realtime programs from verified models. The primary goal of this work is to provide an... [more] | SS2011-25 KBSE2011-22 pp.75-80 |
| SS | 2009-03-02 17:00 |
Saga | Saga University | [Invited Talk]
Model Checking of Timed Automata Akio Nakata (Hiroshima City Univ.) SS2008-53 |
In this paper, we briefly describe model checking of timed automata, one of the verification techniques of real-time sys... [more] | SS2008-53 pp.29-34 |
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 14:45 |
Kagoshima | A Context Assignment Algorithm for Real-time Tasks on Dynamically Reconfigurable Processor with Reconfigurable Overhead Keisuke Nishi (Osaka Univ.), Tomoya Kitani (NAIST), Akio Nakata (Hiroshima City Univ.), Teruo Higashino (Osaka Univ.) DC2007-114 CPSY2007-110 |
(To be available after the conference date) [more] | DC2007-114 CPSY2007-110 pp.179-184 |
|
[Return to Top Page]