IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Dependable Computing

Workshop Date : 2014-04-25 / Issue Date : 2014-04-18

DC2014-1
[Fellow Memorial Lecture] Synchronous Circuit Design vs. Asynchronous Circuit Design -- Trials to compare them from various aspects --
Tomohiro Yoneda (NII)
p. 1

DC2014-2
Construction of Design Environment for Asynchronous Circuits using DDL Cell Library
Masashi Imai, Hiromasa Igarashi, Sanshiro Kudo (Hirosaki Univ.)
pp. 3 - 8

DC2014-3
Speedup the flying target route prediction using Real-time Optimistic Simulation Engine
Shusuke Watanabe, Atsuo Ozaki, Megumi Sawada (Mitsubishi Electric)
pp. 9 - 14

DC2014-4
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)
pp. 15 - 20

DC2014-5
A Hardware Cache Mechanism for Column-Oriented Databases
Akihiko Hamada, Hiroki Matsutani (Keio Univ.)
pp. 21 - 26

DC2014-6
Fault-tolerant logical integrated circuits based on stochastic computation
Daisaku Katagiri, Naoya Onizawa, Takahiro Hanyu (Tohoku Univ.)
pp. 27 - 31

DC2014-7
A Data Protection Mechanism for Automotive Control Software
Masaaki Takeyasu, Yuichi Tokunaga (Mitsubishi Electric)
pp. 33 - 36

DC2014-8
Modeling and verification for CCN using a proof assistant Coq
Takashi Morishima, Mizuki Goto, Kazuko Takahashi (Kwansei Gakuin Univ.)
pp. 37 - 42

DC2014-9
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.)
pp. 43 - 48

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

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