Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
DC |
2009-10-20 13:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Model Checking-Based Agreement Verification of Consensus Algorithms Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2009-26 |
This paper proposes a formal verification approach that can be applied to a class of distributed fault-tolerant protocol... [more] |
DC2009-26 pp.25-30 |
NS, RCS (Joint) |
2009-07-16 09:10 |
Hokkaido |
Hokkaido University (Hokkaido) |
On Storage Capacity Control Methods for Fault-Tolerant Peer-to-Peer Storage System Hideaki Iiduka, Masato Uchida, Masato Tsuru, Yuji Oie (KIT) NS2009-43 |
To take the fault tolerance for data redundancy into a peer-to-peer storage system network
plays an important role as o... [more] |
NS2009-43 pp.1-6 |
DC |
2008-10-20 13:30 |
Tokyo |
National Center of Sciences |
Fault-Tolerant Multilayer Neural Networks for Multiple Weight-and-Neuron-Fault Kazuhiro Nishimura (Polytech Univ.), Masato Ootsu (JP Network), Tadayoshi Horita (Polytech Univ.), Itsuo Takanami (Ichinoseki kousen (former)) DC2008-22 |
The architecture of artificial neural networks, which are derived from brain mechanisms, are quite different from ordina... [more] |
DC2008-22 pp.1-6 |
DC |
2008-10-20 14:20 |
Tokyo |
National Center of Sciences |
A Note on Evaluation Techniques for Fault Tolerant Processor Satoshi Fukumoto, Masayuki Arai, Kazuhiko Iwasaki (Tokyo Metropolitan Univ.) DC2008-24 |
In these years, several fault tolerant processors are studies and proposed in order to do away with transient faults tak... [more] |
DC2008-24 pp.13-16 |
RECONF |
2008-09-26 13:20 |
Okayama |
Okayama Univ. |
A study of a fault-tolerant System using TFT method Atsuhiro Kanamaru, Hiroyuki Kawai, Yoshiki Yamaguchi, Moritoshi Yasunaga (Univ. of Tsukuba) RECONF2008-36 |
This paper deals with a dependable computing system using a reconfigurable device. The work carried out for this purpos... [more] |
RECONF2008-36 pp.81-86 |
DC, CPSY |
2008-04-23 11:30 |
Tokyo |
Tokyo Univ. |
A Study on Reliability and Performance of FPGA-Based Fault Tolerant Systems Ryoji Noji, Satoshi Fujie, Yuki Yoshikawa, Hideyuki Ichihara, Tomoo Inoue (Hiroshima City Univ.) CPSY2008-4 DC2008-4 |
FPGAs (Field-Programmable Gate Arrays), which can implement arbitrary logic circuits
any number of times by loading con... [more] |
CPSY2008-4 DC2008-4 pp.19-24 |
DC, CPSY |
2008-04-23 14:00 |
Tokyo |
Tokyo Univ. |
Generating PROMELA Models of Fault-Tolerant Distributed Algorithms Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) CPSY2008-5 DC2008-5 |
The consensus problem is fundamental in implementing fault-tolerant distributed systems.
However, designing a correct c... [more] |
CPSY2008-5 DC2008-5 pp.25-30 |
DC, CPSY |
2008-04-23 14:30 |
Tokyo |
Tokyo Univ. |
Finding the Optimal Configuration of a Cascading Single-Voter TMR System Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) CPSY2008-6 DC2008-6 |
Triple modular redundancy (TMR) is a major method that is used for implementing fault tolerant systems. In TMR, a module... [more] |
CPSY2008-6 DC2008-6 pp.31-36 |
DC, CPSY |
2008-04-23 16:15 |
Tokyo |
Tokyo Univ. |
Soft Error Hardened FF Capable of Detecting Wide Error Pulse Shuangyu Ruan, Kazuteru Namba, Hideo Ito (Chiba-Univ.) CPSY2008-9 DC2008-9 |
In the recent high-density and low-power VLSIs,occurrence of soft errors becomes significant problems.Recently,soft erro... [more] |
CPSY2008-9 DC2008-9 pp.49-54 |
DC |
2008-02-08 13:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Fault Secure Property for Soft Error on FPGA Using Two-Rail Logic Takehiro Miura, Kazuteru Namba, Hideo Ito (Chiba Univ.) DC2007-74 |
In recent high-density VLSIs, soft errors frequently occur. Soft errors cause improper operation of systems. Recently, r... [more] |
DC2007-74 pp.45-50 |
CPSY, DC |
2007-04-20 16:00 |
Tokyo |
|
[Invited Talk]
Trends and Future Problems of IT Systems High Availablity
-- From Mainframes to Open Systems -- Toru Shonai (Hitachi) CPSY2007-5 DC2007-5 |
Wide use of information technology increases the importance of information system failure avoidance. It is a problem to... [more] |
CPSY2007-5 DC2007-5 pp.25-30 |
NS, IN (Joint) |
2007-03-09 16:00 |
Okinawa |
Okinawa Convention Center |
Network Monitoring for System Information Takeshi Kurita, Naoshi Sakamoto (Tokyo Denki Univ.) NS2006-203 |
We can not expect that Fault computers output correctly. Thus, in order to establish a system to check fault automatical... [more] |
NS2006-203 pp.233-236 |
COMP |
2007-03-05 15:55 |
Tokyo |
The University of Electro-Communications |
A Consensus Algorithm Tolerating Adversarial Crash and Probabilistic Omission Taisuke Izumi, Koichi Wada (Nagoya Inst. of Tech.) |
The (uniform) consensus, which is one of fundamental and important
problems for designing fault-tolerant distributed sy... [more] |
COMP2006-58 pp.59-66 |
COMP |
2006-10-17 11:35 |
Miyagi |
Tohoku University |
Byzantine Agreement on the Order of Processing Received Requests is Solvable Deterministically in Asynchronous Systems Junya Nakamura (Toyohashi Univ. of Tech.), Tadashi Araragi (NTT), Shigeru Masuyama (Toyohashi Univ. of Tech.) |
In an asynchronous distributed system, a fault-tolerant method based on system replication has been introduced.
Replica... [more] |
COMP2006-35 pp.33-40 |
SANE |
2006-04-10 15:00 |
Overseas |
Xidian Univ., Xi'an, China |
Fault-tolerant Flight Computer for Spacecraft Attitude and Orbit Control Kotaro Moritani, Yasuo Ishige (NEC TOSHIBA Space Systems), Takanori Iwata (JAXA) SANE2006-10 |
Sun-synchronous Earth observation satellites require precision attitude determination, attitude control and advanced on-... [more] |
SANE2006-10 pp.49-53 |
COMP |
2005-09-15 16:00 |
Osaka |
Osaka Univ., Toyonaka Campus |
A Weakly-Adaptive Condition-Based Consensus Algorithm in Asynchronous Distributed Systems Taisuke Izumi, Toshimitsu Masuzawa (Osaka Univ.) |
While the (uniform) consensus problem is one of fundamental and
important problems for designing fault-tolerant distri... [more] |
COMP2005-34 pp.43-48 |
MSS |
2005-06-30 14:20 |
Okinawa |
Jichi Kaikan(Naha) |
Fault Diagnosis of an Automatic Transfer Line with Timed Markov Model Mitsuo Saito, Tatsuya Suzuki, Shinkichi Inagaki (Nagoya Univ.), Takeshi Aoki (Nagoya Industrial Research Inst.) |
Recently, the demand for the automated production system is growing.
Especially, the improvement of reliability and saf... [more] |
CST2005-3 pp.11-16 |
SN (2nd) |
2004-12-11 10:00 |
Tokyo |
Tokyo Denki University Kanda Campus |
A System of Hierarchical Area Management of Sensor Networks Kazunori Makimura, Hiroki Saito, Yoshito Tobe (Tokyo Denki Univ.) |
Development of tiny sensors equipped with wireless communication functionality is remarkable with the advancement of sma... [more] |
|