| 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 # | |
| SS, MSS | 2024-01-18 10:25 |
Ishikawa | (Primary: On-site, Secondary: Online) |
Parametric Execution Time Analysis of Programs Considering Nested Loops Using Partial Execution Time Measurement and its Evaluation Yugen Nakanishi, Akio Nakata (Hiroshima City Univ.)  MSS2023-62 SS2023-41 |
In this paper, we propose a parametric execution time analysis method for real-time software reuse. When reusing softwar... [more] | MSS2023-62 SS2023-41 pp.58-63 |
| ITS, WBS, RCC | 2023-12-21 09:50 |
Okinawa | (Primary: On-site, Secondary: Online) |
Online Optimization of Pickup and Delivery Problem Considering Demand Forecasting and Delivery Delays Ryo Matsuoka, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) WBS2023-32 ITS2023-15 RCC2023-26 |
In this paper, we consider an online pickup and delivery problem. Online optimization is to solve the pickup and deliver... [more] | WBS2023-32 ITS2023-15 RCC2023-26 pp.25-30 |
| NLP, MSS | 2023-03-16 16:05 |
Nagasaki | (Primary: On-site, Secondary: Online) |
Online Optimization of Pickup and Delivery Problem Considering Demand Forecasting Ryo Matsuoka, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) MSS2022-91 NLP2022-136 |
In this paper, we consider an online pickup and delivery problem. Online optimization is to solve the pickup and deliver... [more] | MSS2022-91 NLP2022-136 pp.136-139 |
| TL | 2023-03-11 14:15 |
Online | Online | Emergent Inference in Grammatical Machineries
-- Acquisition of Associative Knowledge into Deductive Systems -- Yasunari Harada (Waseda Univ.) TL2022-39 |
The essence of linguistic communication lies in "exchange of meanings" and "meaningful exchanges of messages." In recent... [more] | TL2022-39 pp.30-35 |
| CAS, MSS, IPSJ-AL [detail] | 2022-11-17 15:30 |
Kochi | (Primary: On-site, Secondary: Online) |
Online Optimization of Pickup and Delivery Problem with Fuel Constraints Ryo Matsuoka, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) CAS2022-43 MSS2022-26 |
In this paper, we consider an online pickup and delivery problem. Online optimization is to solve the pickup and deliver... [more] | CAS2022-43 MSS2022-26 pp.34-37 |
| ET | 2022-11-05 13:50 |
Online | Online | Examination of Feedback in Leaning Support System of Interpretation to Function from Behavior Model of Source Code Taiki Matsui, Shintaro Maeda, Kento Koike, Takahito Tomoto (Tokyo Polytechnic Univ) ET2022-35 |
In learning programming, it is important to learn the source code of others, and it is important to consider what functi... [more] | ET2022-35 pp.29-34 |
| MSS, CAS, IPSJ-AL [detail] | 2020-11-26 16:15 |
Online | Online | ADMM and Constraint Optimization Approach to Unit Commitment of Distributed Energy Management System Yuta Inoue, Toshiyuki Miyamoto (Osaka Univ.) CAS2020-36 MSS2020-28 |
Unit commitment problem (UCP) is the problem deciding the up/down pattern and generation level of units.In recent years,... [more] | CAS2020-36 MSS2020-28 pp.96-101 |
| RCC, MICT | 2019-05-29 13:00 |
Tokyo | TOKYO BIG SIGHT | Dynamic Surveillance over Graphs by Multiple Agents
-- On Feasibility Conditions -- Koichi Kobayashi (Hokkaido Univ.) RCC2019-1 MICT2019-1 |
The surveillance problem is to find optimal trajectories of agents that patrol a given area as evenly as possible. In th... [more] | RCC2019-1 MICT2019-1 pp.1-4 |
| PRMU, BioX | 2019-03-18 16:10 |
Tokyo | [Invited Talk]
Geometrically Consistent Pedestrian Trajectory Extraction for Gait Recognition (BTAS 2018) Yasushi Makihara, Gakuto Ogi, Yasushi Yagi (Osaka Univ.) BioX2018-66 PRMU2018-170 |
In the gait recognition community, silhouette-based gait representations such as gait energy image have been widely empl... [more] | BioX2018-66 PRMU2018-170 p.207 |
|
| SS | 2019-03-04 16:45 |
Okinawa | SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems Genki Sakanashi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya Univ.) SS2018-66 |
The authors recently proposed an SQL-based language CombSQL+ for specifying combinatorial optimization problems, and sho... [more] | SS2018-66 pp.85-90 |
|
| HWS, VLD | 2019-03-01 10:25 |
Okinawa | Okinawa Ken Seinen Kaikan | A Study on Placement Constraints for Asynchronous Circuits with Bundled-data Implementation aimed for FPGAs Tatsuki Otake, Hiroshi Saito (UoA) VLD2018-123 HWS2018-86 |
In this work, we study placement constraints for asynchronous circuits with bundled-data implemen-tation aimed for Field... [more] | VLD2018-123 HWS2018-86 pp.181-186 |
| KBSE | 2018-03-02 14:20 |
Okinawa | A Study on a Programming Framework for Self-Adaptive Systems
-- Dynamic Verification Considering Time Constraints -- Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2017-59 |
Self-adaptive systems can adapt to environment changes and changes of internal conditions. In embedded systems that have... [more] | KBSE2017-59 pp.121-126 |
|
| KBSE | 2016-05-27 10:00 |
Tokyo | Doshisha Univ. Tokyo Branch Office | Reducing the number of mutants with equivalent bug detection ability Tomohiro Ueno, Hirohide Haga (Doshisha Univ.) KBSE2016-5 |
Mutation analysis is a method to evaluate the software test cases set quality. In mutation analysis, mutant programs are... [more] | KBSE2016-5 pp.25-30 |
| VLD | 2016-02-29 15:50 |
Okinawa | Okinawa Seinen Kaikan | ILP Based Synthesis of Soft-Error Tolerant Datapaths Considering Adjacency Constraint between Components Junghoon Oh, Mineo Kaneko (JAIST) VLD2015-116 |
As the device size decreases, the reliability degradation due to soft-errors is becoming one of the serious issues in VL... [more] | VLD2015-116 pp.31-36 |
| VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2014-11-26 10:45 |
Oita | B-ConPlaza | A hardware description method and sematics providing a timing constrant Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.) VLD2014-82 DC2014-36 |
Formal verification methods are wide-spreading due to its mathmatical rigorousaspect, although they limited to synchroun... [more] | VLD2014-82 DC2014-36 pp.81-86 |
| KBSE | 2014-03-07 13:10 |
Okinawa | Okinawaken-Seinenkaikan | An Implementation Methodology for Business Systems Based on Unidirectional Constraint Propagation
-- A Case Study of Local Tax Processing -- Hiromasa Yano, Hiroki Kuwayama, Shigeo Kaneda (Doshisha Univ.) KBSE2013-94 |
ICT systems for business applications must accept not only basic business work-flows but also modification of the former... [more] | KBSE2013-94 pp.91-96 |
| SS, MSS | 2014-01-30 14:25 |
Aichi | An Efficient Parametric Execution Time Analysis of Real-Time Programs Using Approximation and its Evaluation Keisuke Sugihara, Akio Nakata (Hiroshima City Univ.) MSS2013-54 SS2013-51 |
For reusing real-time software in some different execution platform, it is useful to adjust the execution time of the pr... [more] | MSS2013-54 SS2013-51 pp.17-22 |
|
| MSS, CAS, IPSJ-AL [detail] | 2013-11-07 14:00 |
Iwate | Hybrid CP/MIP Method for Car Control and Assignment Problem in Mce Systems Tatsuya Minegishi, Toshiyuki Miyamoto (Osaka Univ.) CAS2013-67 MSS2013-46 |
As the height of buildings grows, the demand of enhancing transportation capability in buildings has been increasing.If ... [more] | CAS2013-67 MSS2013-46 pp.129-134 |
|
| OCS, PN, NS (Joint) |
2013-06-21 09:50 |
Fukushima | College of Engineering, Nihon University | High-Speed Calculation Method for Multi-layer Network Design Problem using Ring Topology Koudai Takahashi, Taiju Mikoshi, Toyofumi Takenaka (Nihon Univ.) NS2013-32 |
In recent years, multi-layer network (MLN) design methods have attracted great attentions of backbone carriers for their... [more] | NS2013-32 pp.19-24 |
| IPSJ-SLDM, VLD | 2012-05-31 10:55 |
Fukuoka | Kitakyushu International Conference Center | Development of an FPGA Design Support Tool Set for Asynchronous Circuits with Bundled-data Implementation Keitaro Takizawa, Minoru Iizuka, Hiroshi Saito (Univ. of Aizu) VLD2012-9 |
This paper proposes a design support tool set for asynchronous circuits with bundled-data implemen-tation which are impl... [more] | VLD2012-9 pp.49-54 |
[Return to Top Page]