| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev CPSY Conf / Next CPSY Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Computer Systems (CPSY) Chair: Tsutomu Yoshinaga (Univ. of Electro-Comm.) Vice Chair: Akira Asato (Fujitsu), Yasuhiko Nakajima (NAIST) Secretary: Koji Nakano (Hiroshima Univ.), Hidetsugu Irie (Univ. of Electro-Comm.) Assistant: Hiroaki Inoue (NEC), Takeshi Ohkawa (Utsunomiya Univ.) =============================================== Technical Committee on Dependable Computing (DC) Chair: Seiji Kajihara (Kyushu Inst. of Tech.) Vice Chair: Nobuyasu Kanekawa (Hitachi) Secretary: Tomohiro Nakamura (Hitachi), Tatsuhiro Tsuthiya (Osaka Univ.) =============================================== Technical Committee on Renewable Computing Systems (RIS) Chair: Minoru Uehara (Toyo Univ.) Vice Chair: Akira Nagoya (Okayama Univ.), Takehiko Nakao (Toshiba) Secretary: Jubee Tada (Yamagata Univ.), Hiroki Ishikuro (Keio Univ.) DATE: Fri, Apr 25, 2014 13:00 - 17:35 PLACE: TOPICS: ---------------------------------------- Fri, Apr 25 PM (13:00 - 13:50) ---------------------------------------- (1) 13:00 - 13:50 [Fellow Memorial Lecture] Synchronous Circuit Design vs. Asynchronous Circuit Design -- Trials to compare them from various aspects -- Tomohiro Yoneda (NII) ----- Break ( 10 min. ) ----- ---------------------------------------- Fri, Apr 25 PM (14:00 - 15:40) ---------------------------------------- (2) 14:00 - 14:25 Construction of Design Environment for Asynchronous Circuits using DDL Cell Library Masashi Imai, Hiromasa Igarashi, Sanshiro Kudo (Hirosaki Univ.) (3) 14:25 - 14:50 Speedup the flying target route prediction using Real-time Optimistic Simulation Engine Shusuke Watanabe, Atsuo Ozaki, Megumi Sawada (Mitsubishi Electric) (4) 14:50 - 15:15 Accelerating breadth-first search using Tightly Coupled Accelerator Yuki Katsuta, Takaaki Miyajima, Shimpei Nomura, Takuya Kuhara (Keio Univ.), Toshihiro Hanawa (Tokyo Univ.), Hideharu Amano (Keio Univ.), Taisuke Boku (Univ. of Tsukuba) (5) 15:15 - 15:40 A Hardware Cache Mechanism for Column-Oriented Databases Akihiko Hamada, Hiroki Matsutani (Keio Univ.) ----- Break ( 15 min. ) ----- ---------------------------------------- Fri, Apr 25 PM (15:55 - 17:35) ---------------------------------------- (6) 15:55 - 16:20 Fault-tolerant logical integrated circuits based on stochastic computation Daisaku Katagiri, Naoya Onizawa, Takahiro Hanyu (Tohoku Univ.) (7) 16:20 - 16:45 A Data Protection Mechanism for Automotive Control Software Masaaki Takeyasu, Yuichi Tokunaga (Mitsubishi Electric) (8) 16:45 - 17:10 Modeling and verification for CCN using a proof assistant Coq Takashi Morishima, Mizuki Goto, Kazuko Takahashi (Kwansei Gakuin Univ.) (9) 17:10 - 17:35 Routing Protocol for Structured P2P Network Taking Account of the Nodes Which Behave Like a Byzantin Fault Satoshi Fukumoto, Tomoki Endoh, Mamoru Ohara (Tokyo Metropolitan Univ.), Masayuki Arai (Nihon Univ.) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Computer Systems (CPSY) === # FUTURE SCHEDULE: Mon, May 26, 2014 - Wed, May 28, 2014: Kitakyushu International Conference Center [Tue, Apr 1], Topics: LSI and System Workshop 2014 Mon, Jul 28, 2014 - Wed, Jul 30, 2014: Toki Messe, Niigata [Tue, May 13], Topics: Parallel, Distributed and Cooperative Processing # SECRETARY: Akira ASATO (FUJITSU) TEL +81-44-754-3233, FAX +81-44-754-3214 E-mail: a          === Technical Committee on Dependable Computing (DC) === # FUTURE SCHEDULE: Mon, May 26, 2014 - Wed, May 28, 2014: Kitakyushu International Conference Center [Tue, Apr 1], Topics: LSI and System Workshop 2014 Fri, Jun 20, 2014: Kikai-Shinko-Kaikan Bldg. [Thu, Apr 17], Topics: Design/Test/Verification Mon, Jul 28, 2014 - Wed, Jul 30, 2014: Toki Messe, Niigata [Tue, May 13], Topics: Parallel, Distributed and Cooperative Processing === Technical Committee on Renewable Computing Systems (RIS) === Last modified: 2014-04-19 11:19:14 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to CPSY Schedule Page] / [Return to DC Schedule Page] /
| Go Top | Go Back | Prev CPSY Conf / Next CPSY Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]