|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
IN |
2021-01-18 14:50 |
Online |
Online |
[Invited Talk]
The situation and issues regarding safety and security for recent automotives Yutaka Matsubara (Nagoya Univ.) IN2020-48 |
[more] |
IN2020-48 p.36 |
SS |
2020-03-04 15:10 |
Okinawa |
(Cancelled but technical report was issued) |
Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems Misaki Kojima, Naoki Nishida, Yutaka Matsubara, Masahiko Sakai (Nagoya Univ.) SS2019-46 |
To apply Logically Constrained Term Rewrite Systems (LCTRSs, for short) to program verification, a previous work targets... [more] |
SS2019-46 pp.31-36 |
VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2015-12-03 13:45 |
Nagasaki |
Nagasaki Kinro Fukushi Kaikan |
Fast and Accurate Estimation of Execution Cycles for ARM Architecture Go Sato, Yuki Ando, Hiroaki Takada, Shinya Honda, Yutaka Matsubara (Nagoya Univ) VLD2015-73 DC2015-69 |
(To be available after the conference date) [more] |
VLD2015-73 DC2015-69 pp.231-236 |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB |
2008-03-28 14:20 |
Kagoshima |
|
An Efficient Real-Time Scheduling Algorithm for Temporal Protection with Task's Priority Yutaka Matsubara, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada (Nagoya Univ.) DC2007-113 CPSY2007-109 |
In this paper, we propose an efficient scheduling algorithm for
integration of real-time applications in a single proc... [more] |
DC2007-113 CPSY2007-109 pp.173-178 |
|
|
|
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]
|