Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
AP, RCS (Joint) |
2021-11-12 10:20 |
Nagasaki |
NBC-Bekkan (Nagasaki) (Primary: On-site, Secondary: Online) |
Verification by Field Experiments of the Low Latency Channel for an Advanced ISDB-T Kotoko Furuya, Shingo Asakura, Kohei Kambara, Masahiro Okano, Kyouichi Saito (NHK) RCS2021-168 |
We are conducting research on an advanced Integrated Services Digital Broadcasting - Terrestrial (advanced ISDB-T) to re... [more] |
RCS2021-168 pp.130-135 |
VLD, DC, RECONF, ICD, IPSJ-SLDM (Joint) [detail] |
2020-11-18 13:00 |
Online |
Online |
[Keynote Address]
Quality Assurances of the Fugaku Supercomputer: Function, Performance and Power Takahide Yoshikawa (FLAB) VLD2020-36 ICD2020-56 DC2020-56 RECONF2020-55 |
The Fugaku Supercomputer has about 160,000 CPUs, and once a problem occurs after assembling, it is challenging to fix. I... [more] |
VLD2020-36 ICD2020-56 DC2020-56 RECONF2020-55 p.138 |
MBE, BioX |
2018-07-27 13:30 |
Tottori |
|
Person Authentication Using Evoked EEGs by Inaudible Auditory Stimulation
-- Approaches for Improvement of Verification Performance -- Kenta Kanbe, Takehiro Maruoka, Isao Nakanishi (Tottori Univ.) BioX2018-17 MBE2018-25 |
A brain wave (EEG) is a suitable biometrics for realizing continuous authentication in user management. The authors are ... [more] |
BioX2018-17 MBE2018-25 pp.57-62 |
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 |
SS |
2017-03-10 11:35 |
Okinawa |
|
Approximation of Multitask System Specification by Task Merging for Efficiency Improvement of Performance Verification Kazuma Hashimoto, Akio Nakata (Hiroshima City Univ.) SS2016-79 |
In the development of embedded software which requires high reliability satisfaction and performance of hard requirement... [more] |
SS2016-79 pp.115-120 |
HCS |
2016-08-20 17:10 |
Kyoto |
|
The Performance Verification of Particle Swarm Optimizer with Sensors Hiroshi Sho (KyuTech) HCS2016-52 |
For improving the search performance of basic particle swarm optimizers in dynamic environments, in this paper, we propo... [more] |
HCS2016-52 pp.121-126 |
IE |
2016-07-01 14:40 |
Okinawa |
|
Subjective assessment of Super-Resolution on 4K-TV
-- Performance of Learning-Based Super-Resolution and Non-Linear Signal Processing -- Hiroki Shoji, Seiichi Gohshi (Kogakuin Univ.) IE2016-43 |
4K television (TV) has become common in the market and the prices have become reasonable. Most of 4K TV sets are equippe... [more] |
IE2016-43 pp.43-48 |
NS, IN (Joint) |
2016-03-04 14:45 |
Miyazaki |
Phoenix Seagaia Resort |
Concurrent Evaluation for Data Integrity and Performance of Google App Engine Using A Unified Colored Petri Net Model Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.) IN2015-151 |
PaaS type cloud services like Google App Engine (GAE) have advantages in providing us with the capability of flexible ap... [more] |
IN2015-151 pp.253-258 |
SS, MSS |
2016-01-26 11:55 |
Ishikawa |
Shiinoki-Geihin-Kan |
Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets Takafumi Nakamura, Akio Nakata (Hiroshima City Univ.) MSS2015-59 SS2015-68 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] |
MSS2015-59 SS2015-68 pp.135-140 |
SS |
2015-05-11 16:30 |
Kumamoto |
Kumamoto University |
Modeling and Performance Verification of Embedded Software in Multiprocessor Environment Using Extended Time Petri Nets Takafumi Nakamura, Akio Nakata (Hiroshima City Univ.) SS2015-7 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] |
SS2015-7 pp.33-37 |
SS, MSS |
2014-01-30 14:50 |
Aichi |
|
A Method for Extracting Necessary Information for Performance Verification from Extended SysML Diagrams Yusuke Motoie, Akio Nakata (Hiroshima City Univ.) MSS2013-55 SS2013-52 |
Achieving performance requirements under severe resource constraints is one of the most important design issues in embed... [more] |
MSS2013-55 SS2013-52 pp.23-28 |
IN |
2013-01-25 15:25 |
Kagoshima |
Kagoshima-Ken-Sangyo-Kaikan |
Performance Measurement of Cloud Resources for Inter-cloud Computing Yuichi Sudo, Kunio Hato, Hidetsugu Kobayashi, Eiji Kuwana (NTT) IN2012-153 |
Inter-cloud technology connects a number of cloud providers and let them exchange computational resources dynamically, t... [more] |
IN2012-153 pp.87-92 |
SS |
2012-05-10 16:25 |
Ehime |
Ehime Univ. |
Throughput Performance Verification of Airship Autopilot Software: A Case Study for Evaluating Performance Verification of Software Design Model Akira Kado, Akio Nakata (Hiroshima City Univ.) SS2012-5 |
In the development of embedded systems, it is generally difficult to check, in the design phase, whether or not a design... [more] |
SS2012-5 pp.25-30 |
IN, NS (Joint) |
2011-03-04 08:50 |
Okinawa |
Okinawa Convention Center |
Performance Evaluation of DNS Caching Server in DNSSEC Yuji Ikeda, Katsuhiko Sakai, Hiroshi Miyao (NTT Corp.) IN2010-194 |
Security of DNS that is one of the important system of the Internet infrastructure has been threatened due to its valner... [more] |
IN2010-194 pp.301-306 |
IN |
2009-07-10 11:50 |
Hokkaido |
HOKKAIDO UNIVERSITY |
Performance Evaluation of DNS Caching Server using DNSSEC Taisuke Wakasugi, Yuji Soejima, Yuichi Shimamura, Eiichi Oka (NTT) IN2009-35 |
DNS that is an important system of the Internet infrastructure has a vulnerability of spoofing attacks, so DNSSEC that i... [more] |
IN2009-35 pp.61-66 |
AN |
2009-05-22 11:15 |
Tokyo |
The University of Electro-Communications |
On Capacity Analysis of Managed Mesh Network Ruidong Li, Masaaki Ohnishi, Chao Peng, Ved P. Kafle, Masugi Inoue (NICT) AN2009-4 |
To examine the feasibility of Community Mesh Network (CMN) as wireless access network for the new generation network (NW... [more] |
AN2009-4 pp.17-22 |
IN |
2009-02-06 10:00 |
Kagawa |
Kagawa University |
Performance Analysis of DNS Caching Server using DNSSEC Yuji Soejima, Taisuke Wakasugi, Yuichi Shimamura, Mamoru Hirano, Eiichi Oka (NTT) IN2008-128 |
DNS that is an important system of the Internet infrastructure has a vulnerability of spoofing attacks, so DNSSEC that i... [more] |
IN2008-128 pp.37-42 |
NS, IN (Joint) |
2008-03-07 11:45 |
Okinawa |
Bankoku Shinryokan |
A Unified Multiplex Communication Architecture to Introduce Specific Service Addresses
-- Implementation and Verification -- Keiichi Sakakima, Shingo Ata (Osaka City Univ.), Hiroshi Kitamura (NEC Corp./UEC) IN2007-241 |
We propose Unified Multiplex Communication Architecture that can be considered security by using disposable address for ... [more] |
IN2007-241 pp.491-496 |
MSS |
2007-08-31 14:45 |
Shimane |
Shimane University |
Design Verification Technique of A Soft Real-Time System using UML and Utility Function Satoshi Yamane, Masaaki Sakakura (Kanazawa Univ.) CST2007-15 |
Recently, in the real-time systems used in many scenes,
soft real-time systems, which are not strict by the deadline, ... [more] |
CST2007-15 pp.25-30 |
MSS |
2007-06-28 17:00 |
Okinawa |
|
[Invited Talk]
Function and Performance Verification Methods for embedded systems Yuichi Nakamura (NEC) CST2007-5 |
Recently, The complexity of the embedded system which is used for digital TVs or mobile phones, is increasing. According... [more] |
CST2007-5 pp.25-30 |