Kazunori UEDA


Name Binding is Easy with Hypergraphs
Alimujiang YASEN Kazunori UEDA 
Publication:   
Publication Date: 2018/04/01
Vol. E101-D  No. 4  pp. 1126-1140
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
name bindingsubstitutionhypergraph rewritinggraph typeformal systems
 Summary | Full Text:PDF(965.1KB)

Reliability and Failure Impact Analysis of Distributed Storage Systems with Dynamic Refuging
Hiroaki AKUTSU Kazunori UEDA Takeru CHIBA Tomohiro KAWAGUCHI Norio SHIMOZONO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/09/01
Vol. E99-D  No. 9  pp. 2259-2268
Type of Manuscript:  PAPER
Category: Data Engineering, Web Information Systems
Keyword: 
erasure codinghighly redundant storage systemsreliabilityrebuildMonte Carlo simulation
 Summary | Full Text:PDF(1.6MB)