IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 23  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS 2020-03-04
14:45
Okinawa
(Cancelled but technical report was issued)
Real-time scheduling to reduce memory consumption of multiprocessor systems by considering both heap memory allocation/deallocation and real-time constraints
Yuki Machigashira, Akio Nakata (Hiroshima City Univ.) SS2019-45
 [more] SS2019-45
pp.25-30
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
KBSE, SS, IPSJ-SE [detail] 2018-07-19
16:55
Hokkaido   Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model
Nagisa Kojima, Kazuyuki Shima, Akio Nakata (Hiroshima City Univ.) SS2018-14 KBSE2018-24
In our study so far, we have proposed the notation which expresses lambda calculus in Continuation-Passing Style (CPS) s... [more] SS2018-14 KBSE2018-24
pp.161-166
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
09:40
Okinawa   System Identification Method by Real-Time Calculus for Response Time Smoothing
Reiya Okamoto, Akio Nakata (Hiroshima City Univ) SS2016-75
In real time systems, it is often required to smoothen the response times. However, when many input events occur within ... [more] SS2016-75
pp.91-96
SS 2017-03-10
10:05
Okinawa   Multitask Scheduling Method for Reducing Total Heap Memory Usage under Deadline Constraints
Yuto Suzuki, Akio Nakata (Hiroshima City Univ.) SS2016-76
Multitasking systems, often used in embedded software, require in general larger memory footprint than single tasking sy... [more] SS2016-76
pp.97-102
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
MSS, SS 2017-01-26
11:30
Kyoto Kyoto Institute of Technology Multitask Scheduling Method for Reducing Total Memory Usage by Predicting Behavior of Heap Memory Allocations
Hiroki Nakayama, Akio Nakata (Hiroshima City Univ) MSS2016-60 SS2016-39
The multitask scheduling method for reducing total memory usage that compares the next step increments of the memory usa... [more] MSS2016-60 SS2016-39
pp.19-24
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: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
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
SS 2012-05-10
14:40
Ehime Ehime Univ. On Multi-Task Scheduling for Reducing Heap Memory Consumption Using Live Variable Analysis
Hiroki Funase, Akio Nakata (Hiroshima City Univ.) SS2012-2
Multitasking system often consume more memory than singletasking system, because when context switching occurs, the runn... [more] SS2012-2
pp.7-12
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
SS 2011-10-28
09:30
Ishikawa JAIST Parametric Execution Time Analysis for Recursive Programs and its Experimental Evaluation
Kazuhiro Kabashima, Akio Nakata (Hiroshima City Univ.) SS2011-33
It is generally difficult to reuse real-time software components to different execution platforms, since its execution t... [more] SS2011-33
pp.37-42
SS 2011-10-28
10:00
Ishikawa JAIST A Time Budget Optimization Method for Multi-Task Behavioral Specifications with Resource Constraints
Kazuya Kurata, Taichi Dodo, Akio Nakata (Hiroshima City Univ.) SS2011-34
 [more] SS2011-34
pp.43-48
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
SS 2008-03-03
10:10
Nagasaki Nagasaki Univ. A Parametric Execution Time Analysis Method for Reuse of Real-time Software
Toshihiro Kawai, Akio Nakata (Hiroshima City Univ.) SS2007-57
 [more] SS2007-57
pp.1-6
VLD, CPSY, RECONF, DC, IPSJ-SLDM, IPSJ-ARC
(Joint) [detail]
2007-11-20
15:10
Fukuoka Kitakyushu International Conference Center A Method for Optimizing Communication Architecture on Network-on-Chip Considering Chip Size and Wiring Costs
Daisuke Hayashi, Wataru Murai (Osaka Univ.), Akio Nakata (Hiroshima City Univ.), Tomoya Kitani, Keiichi Yasumoto (NAIST), Teruo Higashino (Osaka Univ.) CPSY2007-35
In this paper, we propose a method for deriving an optimal Network-on-Chip (NoC) communication architecture using intege... [more] CPSY2007-35
pp.1-6
 Results 1 - 20 of 23  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan