Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
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 |
COMP |
2008-04-18 15:30 |
Osaka |
Osaka Prefecture University |
The Lower Bound on the Stabilization Time of Dijkstra's Three State Mutual Exclusion Algorithm Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) COMP2008-7 |
The three state mutual exclusion algorithm is the first self-stabilizing algorithm which was proposed by E. W. Dijkstra.... [more] |
COMP2008-7 pp.41-47 |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB |
2008-03-28 13:00 |
Kagoshima |
|
Automatically Generating Testcases with the NuSMV Model Checker Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2007-110 CPSY2007-106 |
There are various testing methods of improving the reliability of software.In this study, we consider state transition t... [more] |
DC2007-110 CPSY2007-106 pp.155-160 |
SS |
2007-10-23 10:55 |
Miyagi |
Miyagi Univ. |
Analysis of fault density by association rule mining using cross-company data Junya Debari, Osamu Mizuno, Tohru Kikuno (Osaka Univ.), Nahomi Kikuchi, Masayuki Hirayama (IPA) SS2007-36 |
[more] |
SS2007-36 pp.35-40 |
DE, DC |
2007-10-15 15:15 |
Tokyo |
Kikai-Shinko-Kaikan Bldg |
Gossip-Type Broadcast using an Erasure Correcting Code Masaki Terasawa, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DE2007-120 DC2007-17 |
Gossip is a reliable and scalable broadcasting method for peer-to-peer(P2P) systems.
However, achieving high reliabilit... [more] |
DE2007-120 DC2007-17 pp.31-35 |
DE, DC |
2007-10-16 11:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg |
Designing Pairwise Testsets that Optimize Executing Cost Shin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DE2007-123 DC2007-20 |
Pairwise testing is a software testing strategy that aims to reduce
the cost of testing. This strategy requires that a... [more] |
DE2007-123 DC2007-20 pp.47-50 |
SS, KBSE |
2007-04-20 11:15 |
Fukushima |
Univ. of Aizu |
Selecting metrics for effective software quality management using over-sampling method Yusuke Sasaki, Seiya Abe, Osamu Mizuno, Tohru Kikuno (Osaka Univ.), Sachie Yoshioka, Yoshiyuki Anan, Mataharu Tanaka (OMRON Software) SS2007-8 KBSE2007-8 |
In software development, managing projects based on software metrics is
important to assure software quality.Although ... [more] |
SS2007-8 KBSE2007-8 pp.41-46 |
SS |
2007-02-01 15:10 |
Aichi |
Aichi Prefectural Univ. |
Prediction of fault prone source code modules using text classifier Shiro Ikami, Shuya Nakaichi, Osamu Mizuno, Tohru Kikuno (Osaka Univ.) |
For the improvement of the quality of product, it is important to detect fault-prone modules in source code at an early ... [more] |
SS2006-75 pp.25-30 |
SITE |
2006-12-08 16:20 |
Osaka |
|
Engineering Ethics Course for Computer Science Graduate Students Michio Nakanishi (OIT), Toru Fujiwara (Osaka Univ.), Yoshinori Takeuchi, Masanori Akiyoshi, Masanori Hashimoto, Fumio Kishino, Kiyoshi Kiyokawa, Takahiro Hara, Koji Nakamae, Tohru Kikuno, Yuuichi Teranishi (Osaka University) |
[more] |
SITE2006-49 pp.41-47 |
DE, DC |
2006-10-17 13:00 |
Tokyo |
|
On decreasing the number of hops needed for long-distance communications in overlay networks Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ) |
[more] |
DE2006-121 DC2006-28 pp.13-18 |
CPSY, DC |
2006-04-14 09:30 |
Tokyo |
Takeda Hall |
On Improving the Reliability of Gossip-Type Broadcast through Erasure Coding Masaki Terasawa, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
Recently, gossip has gained popularity as an effective broadcasting method. Research has shown that gossip-based broadca... [more] |
CPSY2006-2 DC2006-2 pp.7-12 |
IN, NS (Joint) |
2006-03-02 08:30 |
Okinawa |
Rizzan Sea-Park Hotel Tancha-Bay (Okinawa) |
Examining Classification and Resolution of Feature Interactions in Home Network System Pattara Leelaprute (Osaka Univ.), Masahide Nakamura, Hiroshi Igaki, Ken-ichi Matsumoto (NAIST), Tohru Kikuno (Osaka Univ.) |
[more] |
IN2005-165 pp.55-60 |
SS |
2006-02-03 10:00 |
Fukuoka |
Fukuoka Laboratory for Emerging and Enabling Technology of SoC |
Model Checking Integrated Services of Home Network Systems Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
We address the problem of verifying integrated services of home network systems which consist of one or more appliances.... [more] |
SS2005-84 pp.7-12 |
DE, DC |
2005-10-17 11:00 |
Tokyo |
NTT Musashino R&D center |
A Network Aware Overlay Construction and its Reliability Evaluation Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
Peer-to-peer (P2P) systems are often constructed in overlay networks at the application layer without taking the physica... [more] |
DE2005-125 DC2005-19 pp.1-5 |
DE, DC |
2005-10-17 11:30 |
Tokyo |
NTT Musashino R&D center |
Improving the Reliability of Gossip Algorithms for Scale-Free Networks Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
Gossip is an epidemiological protocol that implements broadcasting with high reliability and low communication cost in p... [more] |
DE2005-126 DC2005-20 pp.7-12 |
SS |
2004-11-26 10:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Prediction of Runaway Software Projects with Multiple Classification Methods
-- Comparison of Accuracy among Classification Methods -- Kouta Kudou, Osamu Mizuno, Tohru Kikuno (Osaka Univ.) |
[more] |
SS2004-36 pp.13-18 |
DE, DC |
2004-10-18 11:00 |
Tokyo |
Tokyo Institute of Technology |
On Improving the Reliability of Probabilistic Broadcast with an Adaptive Technique Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
Probabilistic broadcast can simultaneously achieve high scalability and high robustness in distributed systems. Because ... [more] |
DE2004-106 DC2004-21 pp.1-4 |