Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2024-03-21 09:50 |
Nagasaki |
Ikinoshima Hall (Primary: On-site, Secondary: Online) |
Non-stop microprocessor with MTJ-based non-volatile devices Shota Nakabeppu, Nobuyuki Yamasaki (Keio Univ.) CPSY2023-39 DC2023-105 |
Today, various embedded systems, including automobiles, home appliances, robots, spacecraft, and sensor networks, suppor... [more] |
CPSY2023-39 DC2023-105 pp.7-11 |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2024-03-22 09:25 |
Nagasaki |
Ikinoshima Hall (Primary: On-site, Secondary: Online) |
A Design of RISC-V SMT Processor for Real-time Systems Yuta Nojiri, Nobuyuki Yamasaki (Keio Univ.) CPSY2023-42 DC2023-108 |
Embedded system is used in various regions from home appliances to automobiles. Especially, embedded systems with time c... [more] |
CPSY2023-42 DC2023-108 pp.24-28 |
RECONF, VLD |
2024-01-30 10:55 |
Kanagawa |
AIRBIC Meeting Room 1-4 (Primary: On-site, Secondary: Online) |
A Prototype Design of an Embedded Real-Time GPU Takafumi Tarui, Nobuyuki Yamasaki (Keio Univ.) VLD2023-93 RECONF2023-96 |
In recent years, an increasing number of real-time systems require high-load parallel processing for time-constrained ta... [more] |
VLD2023-93 RECONF2023-96 pp.76-80 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2022-03-10 11:25 |
Online |
Online |
CPSY2021-45 DC2021-79 |
In recent years, the use of virtualization with Hypervisor for embedded systems has been attracting attention. Embedded ... [more] |
CPSY2021-45 DC2021-79 pp.1-6 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2022-03-11 14:30 |
Online |
Online |
Highly Efficient Mixed Criticality System Using Fluid Scheduling Kosuke Yashima, Nobuyuki Yamasaki (Keio Univ.) CPSY2021-64 DC2021-98 |
In recent real-time systems, it is necessary to deal with tasks whose execution time varies depending on the situation.
... [more] |
CPSY2021-64 DC2021-98 pp.115-119 |
SS, MSS |
2022-01-12 10:05 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Multitask Scheduling for Reducing Total Memory Consumption while Satisfying Deadlines using Adaptive Control according to Dynamic Change of Task Memory Consumption Ryosuke Arai, Akio Nakata (Hiroshima City Univ) MSS2021-48 SS2021-35 |
The authors have previously proposed a multi-task scheduling method LMCLF, which can reduce the total memory usage of th... [more] |
MSS2021-48 SS2021-35 pp.95-99 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2021-03-25 11:40 |
Online |
Online |
Scheduling algorithms for sporadic and periodic tasks in multiprocessors Yuki Mori, Nobuyuki Yamasaki (Keio Univ.) CPSY2020-54 DC2020-84 |
Among embedded systems that are embedded in devices to ealize specific functions, systems that need to meet time onstra... [more] |
CPSY2020-54 DC2020-84 pp.25-30 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2021-03-26 14:40 |
Online |
Online |
Non Stop Processor with Non Volatile Element Shota Nakabeppu, Nao Sugiyama, Nobuyuki Yamasaki (Keio Univ.), Kenta Suzuki, Keizo Hiraga, Yasuo Kanda (Sony Semiconductor Solutions) CPSY2020-66 DC2020-96 |
In recent years, embedded systems such as wearable devices and robots have become widespread. Wear-
able devices often ... [more] |
CPSY2020-66 DC2020-96 pp.97-102 |
RECONF |
2020-05-28 17:00 |
Online |
Online |
[Invited Talk]
Aerial manipulation using multirotor UAV Kazuhiro Shimonomura (Ritsumeikan Univ.) RECONF2020-10 |
Our research group have studied on multirotor UAVs for manpulation tasks at high elevation place. In an aerial manipulat... [more] |
RECONF2020-10 pp.55-58 |
SP, EA, SIP |
2020-03-03 09:00 |
Okinawa |
Okinawa Industry Support Center (Cancelled but technical report was issued) |
A Study for HMM-based embedded speech synthesis using a large-scale speech corpus Nobuyuki Nishizawa, Tomohiro Obara, Hiromi Ishizaki (KDDI Research, Inc.) EA2019-141 SIP2019-143 SP2019-90 |
This study shows that our speech synthesis system based on HMM speech synthesis for embedded devices can perform real-ti... [more] |
EA2019-141 SIP2019-143 SP2019-90 pp.231-236 |
VLD, DC, CPSY, RECONF, ICD, IE, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (Joint) [detail] |
2019-11-15 16:10 |
Ehime |
Ehime Prefecture Gender Equality Center |
Low Latency Interrupt Handling Scheme By Using Interrupt Wake-Up Mechanism Ryo Wada, Nobuyuki Yamasaki (Keio Univ.) CPSY2019-50 |
Recently, embedded real-time systems used in spacecraft and automobiles have become increasingly complex and are require... [more] |
CPSY2019-50 pp.71-76 |
KBSE, SC |
2019-11-08 15:40 |
Nagano |
Shinshu University |
A Case-study for Developpment and Verification of an Embedded System Kozo Okano, Shinpei Ogata, Miki Natsume (Shinshu Univ.) KBSE2019-30 SC2019-27 |
Through a development of an embedded system and design verification, we report on the issues and workload when novice en... [more] |
KBSE2019-30 SC2019-27 pp.41-46 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2019-03-17 15:50 |
Kagoshima |
Nishinoomote City Hall (Tanega-shima) |
Real-Time Voltage and Frequency Scaling Scheme with IPC Controlling for SMT Processor Hiromi Suzuki, Yousuke Ide, Yuta Tsukahara, Nobuyuki Yamasaki (Keio Univ) CPSY2018-106 DC2018-88 |
In the field of Real-Time embedded systems, both of high-performance and low-power consumption are required. In this pap... [more] |
CPSY2018-106 DC2018-88 pp.161-166 |
SS |
2019-03-04 10:40 |
Okinawa |
|
An improved LLF scheduling for reducing heap memory consumption in multiprocessor real-time system by considering laxity time Yuki Machigashira, Akio Nakata (Hirosima City Univ.) SS2018-55 |
Real-time embedded systems are often designed as multitasking systems in order to improve responsiveness to multiple ext... [more] |
SS2018-55 pp.19-24 |
MSS, NLP (Joint) |
2018-03-13 14:55 |
Osaka |
|
Deductive Verification of real-time safety properties for embedded assembly program using theorem prover Princess Naoki Odajima (Kanazawa Univ.), Gakuhi Fukuda (Kanazawa Nishikigaoka), Satoshi Yamane (Kanazawa Univ.) MSS2017-84 |
It is important to verify both the correctness and real-time properties for embedded systems.
In this paper, we propos... [more] |
MSS2017-84 pp.35-40 |
SIS |
2018-03-08 15:50 |
Aichi |
Meijo Univ. Tempaku Campus |
Improvement of Real-time Dehazing Processing Suitable for Embedded Systems Ayaka Yasuda (NIT, Tokuyama Col.), Shota Furukawa (NIT, Kagoshima Col.), Noriaki Suetake (Yamaguchi Univ.), Takanori Koga (NIT, Tokuyama Col.) SIS2017-61 |
Processing for removing haze such as fog and mist superimposed on digital images is called dehazing. When dehazing syste... [more] |
SIS2017-61 pp.23-28 |
SS, MSS |
2018-01-18 15:05 |
Hiroshima |
|
Deadline Assignment Optimization Method Using Extended Time Petri Nets for Real-Time Multitask Distributed Systems Sharing Processors with EDF Scheduling Reon Matsuoka, Akio Nakata (Hiroshima City Univ.) MSS2017-56 SS2017-43 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] |
MSS2017-56 SS2017-43 pp.53-58 |
SIP, CAS, MSS, VLD |
2017-06-20 09:30 |
Niigata |
Niigata University, Ikarashi Campus |
Deductive Verification Method of real-time safety properties for embedded assembly program
-- □≦TIME q = □(q∧(time≦TIME)) -- Satoshi Yamane (Kanazawa Univ.) CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 |
It is important to verify both the correctness and real-time properties for embedded systems.
In this paper, we propos... [more] |
CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 pp.59-64 |
MSS |
2017-03-16 11:20 |
Shimane |
Shimane Univ. |
Verification Methods of real-time properties for embedded assembly program
-- Model checking and deductive verification for embedded program -- Satoshi Yamane (Kanazawa Univ.) MSS2016-83 |
It is important to verify both the correctness and real-time properties for embedded systems.
In this paper, we propos... [more] |
MSS2016-83 pp.11-16 |
SIS |
2017-03-03 10:10 |
Kanagawa |
Kanagawa Inst. Tech. Yokohama Office |
Acceleration of Dehazing Processing Based on Min-Max Bilateral Filter on an Embedded System Ayaka Yasuda (NIT, Tokuyama Col.), Shota Furukawa, Noriaki Suetake (Yamaguchi Univ.), Takanori Koga (NIT, Tokuyama Col.) SIS2016-56 |
Currently, researches on dehazing processing to remove haze such as fog included in images have been actively conducted.... [more] |
SIS2016-56 pp.83-86 |