ホーム > 町田文雄/ Machida, Fumio

町田文雄

Machida, Fumio

システム情報系 , 准教授
Institute of Systems and Information Engineering , Associate Professor

https://www.sd.cs.tsukuba.ac.jp/index.html

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。

61. End-to-end reliability assurance of service chain embedding for network function virtualization Shashank Bijwe; Fumio Machida; Shinya Ishida; Seiichi Koizumi
2017 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2017 2017-: 1 (2017) Semantic Scholar
62. Analysis of an optimal stopping problem for software rejuvenation in a deteriorating job processing system Fumio Machida; Naoto Miyoshi
RELIABILITY ENGINEERING & SYSTEM SAFETY 168: 128 (2017) Semantic Scholar
63. Lifetime Extension of Software Execution Subject to Aging Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno
IEEE TRANSACTIONS ON RELIABILITY 66: 123 (2017) Semantic Scholar
64. A test design method for resilient system on cloud infrastructure Masaya Fujiwaka; Fumio Machida; Seiichi Koizumi
PROCEEDINGS OF 2016 IEEE 9TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING (CLOUD) 440 (2016)
65. Availability modeling and analysis of a virtualized system using stochastic reward nets Kim, DongSeong; Hong, Jin B; Nguyen, Tuan Anh; Machida, Fumio (+2 著者) Kishor S
IEEE Int’l Conf. on Computer and Information Technology (CIT) 210 (2016) Semantic Scholar
66. Virtual machine replication on archiving energy-efficiency in a cloud Mondal; Subrota K; Muppala, Jogesh K; Machida, Fumio
Electronics 5: (2016) Semantic Scholar
67. An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System Fumio Machida; Jianwen Xiang; Kumiko Tadano; Shigeru Hosono
Proceedings - 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2015 51 (2015) Semantic Scholar
68. An Imperfect Fault Coverage Model With Coverage of Irrelevant Components Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno
IEEE TRANSACTIONS ON RELIABILITY 64: 320 (2015) Semantic Scholar
69. Survivability as a Generalization of Recovery Poul E. Heegaard; Bjarne E. Helvik; Kishor S. Trivedi; Fumio Machida
2015 11TH INTERNATIONAL CONFERENCE ON THE DESIGN OF RELIABLE COMMUNICATION NETWORKS (DRCN) 133 (2015)
70. Preventing recurrence of industrial control system accident using assurance case Napolano, Mirko; Machida, Fumio; Pietrantuono, Roberto; Cotroneo, Domenico
Int’l Works. on Software Certification (WoSoCER) 182 (2015)
71. An optimal stopping problem for software rejuvenation in a job processing system Machida, Fumio; Miyoshi, Naoto
Int’l Works. on Software Aging and Rejuvenation 132 (2015)
72. Just-in-time server procurement to private cloud for mobile thin-client service Fumio Machida; Shunsuke Kohno; Kosuke Maebara; Masayuki Nakagawa
2015 11TH INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE MANAGEMENT (CNSM) 261 (2015)
73. A Scalable Optimization Framework for Storage Backup Operations using Markov Decision Processes Ruofan Xia; Fumio Machida; Kishor Trivedi
2015 IEEE 21ST PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC) 169 - 178 (2015) Semantic Scholar
74. Optimizing Resiliency of Distributed Video Surveillance System for Safer City Fumio Machida; Masaya Fujiwaka; Seiichi Koizumi; Daichi Kimura
2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) 17 (2015)
75. A Scalable Optimization Framework for Storage Backup Operations using Markov Decision Processes Ruofan Xia; Fumio Machida; Kishor Trivedi
2015 IEEE 21ST PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC) 169 (2015) Semantic Scholar
76. Performance and Availability Modeling of IT Systems with Data Backup and Restore Ruofan Xia; Xiaoyan Yin; Javier Alonso Lopez; Fumio MachidaKishor S. Trivedi
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 11: 375 (2014) Semantic Scholar
77. Is Cut Sequence Necessary in Dynamic Fault Trees? Jianwen Xiang; Fumio Machida; Kumiko Tadano; Shigeru Hosono
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW) 138 (2014) Semantic Scholar
78. Server virtualized infrastructure for resilient voice communication service Machida, Fumio; Mibu, Ryota; Gokurakuji, Junichi; Yanoo, Kazuo (+2 著者) Sugawara, Tomoyoshi
IEEE/IFIP Network Operations and Management Symposium (NOMS) 1 (2014)
79. Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno
COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2014) 8666: 109 (2014)
80. A Systematic Differential Analysis for Fast and Robust Detection of Software Aging Rivalino Matias; Artur Andrzejak; Fumio Machida; Diego EliasKishor Trivedi
2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS) 311 (2014) Semantic Scholar

« 1 2 3 4 5 »

1. Handbook of Software Aging and Rejuvenation Machida, Fumio; Maciel; Paulo R. M (担当:分担執筆, 範囲:Markov chains and Petri nets)
World Scientific 2020年5月
2. Advances in Computers Trivedi; Kishor S; Andrade; Ermeson C; Machida, Fumio (担当:分担執筆, 範囲:Combining performance and availability analysis in practice)
2012年

1. Nバージョン機械学習分類システムによる分類結果の正確性と安全性評価町田, 文雄
日本信頼性学会第30回春季信頼性シンポジウム 2022年5月
2. 画像処理タスクのオフローディングによるドローンシステムのソフトウェア延命渡邉賢吾; 町田, 文雄
ディペンダブルシステムワークショップ（DSW 2021） 2021年12月16日
3. Nバージョン機械学習モデルによるシステム高信頼化のための入力データ多様化高橋満帆; 町田, 文雄
ディペンダブルシステムワークショップ（DSW 2021） 2021年12月16日
4. Availability Modeling for Drone Image Processing Systems with Adaptive Offloading Machida, Fumio; Andrade, Ermeson
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) 2021年12月1日
5. Performance analysis of machine learning-based systems for detecting deforestation Araujo, Michel de; Andrade, Ermeson; Machida, Fumio
Brazilian Symposium on Computing Systems Engineering (SBESC) 2021年11月21日
6. Memory Degradation Analysis in Private and Public Cloud Environments Andrade, Ermeson; Machida, Fumio; Pietrantuono, Roberto; Cotroneo, Domenico
International Workshop on Software Aging and Rejuvenation 2021年10月25日
7. Failure threshold setting for Wiener-process-based remaining useful life estimation Liu, Xingzhi; Machida, Fumio
IEEE Global Reliability & Prognostics and Health Management Conference 2021年10月15日
8. A Queueing Analysis of Multi-model Multi-input Machine Learning Systems Tuan, Phung-Duc; Yuta, Makino; Fumio, Machida
The 4th DSN Workshop on Dependable and Secure Machine Learning (DSN-DSML'21) 2021年6月21日
9. A Robustness Evaluation of Concept Drift Detectors against Unreliable Data Streams Machida, Fumio; Wang, Sixiang
IEEE 7th World Forum on the Internet of Things 2021年6月
10. PA-offload: Performability-aware Adaptive Fog Offloading for Drone Image Processing Machida, Fumio; Andrade, Ermeson
IEEE International Conference on Fog and Edge Computing (ICFEC2021) 2021年5月
11. マルコフ連鎖を用いた多モデル多入力型機械学習システムの性能評価巻野, 侑大; Tuan, Phung-Duc; 町田文雄
第37回（2020年度）待ち行列シンポジウム「確率モデルとその応用」 2021年1月25日
12. Markov chains and Petri nets for software rejuvenation systems Machida, Fumio; Paulo R. M; Maciel
International Workshop on Software Aging and Rejuvenation (WoSAR) 2020年10月
13. Software aging in image classification systems on cloud and edge Machida, Fumio; Andrade, Ermeson; Pietrantuono, Roberto; Cotroneo, Domenico
International Workshop on Software Aging and Rejuvenation (WoSAR) 2020年10月
14. Nバージョンモデルによる機械学習応用システムの高信頼化町田, 文雄
第17回ディペンダブルシステムワークショップ（DSW2019） 2019年12月6日招待有り
15. On the diversity of machine learning models for system reliability Machida, Fumio
IEEE Pacific Rim Int'l Symp. on Dependable Computing (PRDC) 2019年12月1日
16. 多様な分類器を用いた機械学習応用システムの信頼性町田,文雄
日本OR学会「4部合同研究会～確率モデルの新展開～」 2019年10月19日招待有り
17. Analysis of software aging impacts on plant anomaly detection with edge computing Machida, Fumio; Andrade, Ermeson
Int’l Works. on Software Aging and Rejuvenation 2019年10月
18. N-version machine learning models for safety critical systems Machida,Fumio
DSN Workshop on Dependable and Secure Machine Learning 2019年6月
19. Practices in Model Component Reuse for Efficient Dependability Analysis Machida, Fumio
ACM Workshop on Education and Practice of Performance Engineering 2019年4月6日
20. End-to-end reliability assurance of service chain embedding for network function virtualization Bijwe, Shashank; Machida, Fumio
IEEE Conference on Network Function Virtualization and Software Defined Networks 2017年