MANABE Yoshifumi

J-GLOBAL         Last updated: May 25, 2019 at 21:00
 
Avatar
Name
MANABE Yoshifumi
E-mail
manabecc.kogakuin.ac.jp
URL
http://www.ns.kogakuin.ac.jp/~wwa1056/profile1.html
Affiliation
Kogakuin University
Section
Faculty of Informatics Department of Information Systems and Applied Mathematics
Job title
Professor
Degree
Ph. D(Osaka University)
Research funding number
80466408
ORCID ID
0000-0002-6312-257X

Research Areas

 
 

Academic & Professional Experience

 
Apr 2016
 - 
Today
Professor, Department of Information Systems and Applied Mathematice, Faculty of Informatics, Kogakuin University
 
Apr 2013
 - 
Mar 2016
Professor, Department of Computer Science, Faculty of Informatics, Kogakuin University
 
Apr 2011
 - 
Mar 2013
Senior Research Scientist, Supervisor, Innovetive Communication Laboratory, Communication Science Laboratories, Nippon Telegraph and Telephone Corporation
 
Apr 2001
 - 
Mar 2013
Guest Associate Professor, Department of Social Informatics, Graduate School of Informatics, Kyoto University
 
Apr 2007
 - 
Mar 2011
Reseach Group Leader, Human and Information Science Laboratory, Communication Science Laboratories, Nippon Telegraph and Telephone Corporation
 

Education

 
Apr 1983
 - 
Mar 1985
Graduate School of Engineering Science, Osaka University
 
Apr 1979
 - 
Mar 1983
Department of Information and Computer Science, School of Engineering Science, Osaka University
 

Committee Memberships

 
Dec 2012
 - 
Aug 2013
International Symposium on Security in Computing and Communications (SSCC'13)Program Committee
 
Mar 2012
 - 
May 2012
International Conference on Systems and Informatics (ICSAI 2012) Program Committee
 
Oct 2011
 - 
Jun 2014
IEEE International Workshop on Assurance in Distributed Systems(ASDN2012)(ASDN2013)(ASDN2014) Program Committee
 
Sep 2011
 - 
Dec 2011
ACIS International Symposium on Software and Network Engineering(SSNE2011) Program Committee
 
Jun 2011
 - 
Dec 2011
International Conference on IT Convergence and Security(ICITCS2011) Program Committee
 

Published Papers

 
Hibiki Ono,Yoshifumi Manabe
Foundations and Practice of Security - 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers   193-207   2018   [Refereed]
Hibiki Ono,Yoshifumi Manabe
13th Asia Joint Conference on Information Security, AsiaJCIS 2018, Guilin, China, August 8-9, 2018   23-28   2018   [Refereed]
Takuya Ibaraki,Yoshifumi Manabe
JCP   13(9) 1037-1041   2018   [Refereed]
Koki Kubo, Yoshifumi Manabe
Proceedings - 2016 3rd International Conference on Mathematics and Computers in Sciences and in Industry, MCSI 2016   258-263   Jan 2017
©2016 IEEE. This paper proposes an online cake-cutting protocol without a long wait. Cake-cutting protocols are used to fairly divide a heterogeneous divisible good among some number of people. Though many protocols have been proposed, most of the...
Takuya Ibaraki, Yoshifumi Manabe
Proceedings - 2016 3rd International Conference on Mathematics and Computers in Sciences and in Industry, MCSI 2016   252-257   Jan 2017
©2016 IEEE. Many works have been done for secure computation of functions. Most of them assume computation on computers. The protocols are difficult for the people who has no knowledge on cryptography. Therefore, secure computation using cards was...
Masaru Yoshimachi, Yoshifumi Manabe
Proceedings of the 6th International Conference on Information Communication and Management, ICICM 2016   222-226   Dec 2016
© 2016 IEEE. We propose a new routing protocol for MANET (Mobile Ad hoc NETwork). This protocol achieves the fairness of the amount of communication among nodes. The amount of communication generation in MANET differs among nodes. Thus, there migh...
Kohei Shimizu, Yoshifumi Manabe
Proceedings of the 6th International Conference on Information Communication and Management, ICICM 2016   57-61   Dec 2016
© 2016 IEEE. This paper proposes a new online allocation algorithm of indivisible goods. In online algorithms, participants arrive to execute the algorithm at any time and exit from the algorithm when his/her allocation is given. We assume that th...
Yasuyuki Tsukada,Hideki Sakurada,Ken Mano,Yoshifumi Manabe
Ann. Math. Artif. Intell.   78(2) 101-129   2016   [Refereed]
Takuho Mitsunaga,Yoshifumi Manabe,Tatsuaki Okamoto
IEICE Transactions   99-A(8) 1591-1599   2016   [Refereed]
Tsuyoshi Komatsubara,Yoshifumi Manabe
30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016, Crans-Montana, Switzerland, 23-25 March, 2016   776-783   2016   [Refereed]
Yoshifumi Manabe,Risako Otsuka,Tatsuaki Okamoto
JIP   23(3) 299-304   2015   [Refereed]
Yuji Mochizuki,Yoshifumi Manabe
10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015, Colombo, Sri Lanka, August 4-7, 2015   1-3   2015   [Refereed]
Kohei Shimizu,Yoshifumi Manabe
10th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2015, Colombo, Sri Lanka, August 4-7, 2015   1-3   2015   [Refereed]
Yuta Urushiyama,Yoshifumi Manabe
5th International Conference on IT Convergence and Security, ICITCS 2015, Kuala Lumpur, Malaysia, August 24-27, 2015   1-4   2015   [Refereed]
Ryo Iguchi,Yoshifumi Manabe
34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30 - July 3, 2014   133-139   2014   [Refereed]
Susumu Kiyoshima, Yoshifumi Manabe, and Tatsuaki Okamoto
Proceedings of TCC 2014, Lecture Notes in Computer Science   8349 343-367   2014   [Refereed]
MITSUNAGA Takuho, MANABE Yoshifumi, OKAMOTO Tatsuaki
IEICE Trans. Fundamentals   E96-A(1) 68-75   Jan 2013
This paper presents efficient secure auction protocols for first price auction and second price auction. Previous auction protocols are based on a generally secure multi-party protocol called mix-and-match protocol based on plaintext equality test...
Susumu Kiyoshima,Yoshifumi Manabe,Tatsuaki Okamoto
IACR Cryptology ePrint Archive   2013 811   2013   [Refereed]
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, and Yoshifumi Manabe
Proceedings of Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013)   239-248   2013   [Refereed]
Yasuyuki Tsukada,Hideki Sakurada,Ken Mano,Yoshifumi Manabe
CoRR   abs/1310.6441    2013   [Refereed]
Susumu Kiyoshima, Yoshifumi Manabe, Tatsuaki Okamoto
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   7631 LNCS 216-232   Nov 2012
In this paper, we show a concurrent oblivious transfer protocol in super-polynomial-simulation (SPS) security. Our protocol does not require any setup and does not assume any independence among the inputs. In addition, our protocol is efficient si...
Manabe Yoshifumi, Okamoto Tatsuaki
Journal of Information Processing   20(3) 686-693   Jul 2012
This paper discusses cake-cutting protocols when the cake is a heterogeneous good, represented by an interval on the real line. We propose a new desirable property, the meta-envy-freeness of cake-cutting, which has not been formally considered bef...
Susumu Kiyoshima, Yoshifumi Manabe, and Tatsuaki Okamoto
Proceedings of IWSEC2012, Lecture Notes in Computer Science   7631 216-232   2012   [Refereed]
Yoshifumi Manabe and Tatsuaki Okamoto
Proceedings of International Workshop on Interactions, Games and Protocols (iWIGP2012), EPTCS   78 15-23   2012
Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto
Proceedings of IWSEC2011, Lecture Notes in Computer Science   7038 51-64   2011   [Refereed]
Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto
Proceedings of IWSEC2010, Lecture Notes in Computer Science   6434 149-163   2010
Yoshifumi Manabe and Tatsuaki Okamoto
Proceedings of MFCS 2010, Lecture Notes in Computer Science   6281 501-512   2010
Insatabity of a punishment strategy in correlated equilibria
Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto
Workshop on Algorithmic Game Theory: Dynamics and Convergence in Distributed Systems (AlgoGT2010)   1-6   2010
岡本龍明, 真鍋義文
電子情報通信学会論文誌 D   J92-D(5) 587-595   May 2009
Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   5324 LNCS 268-282   Dec 2008
The relationship of three cryptographic channels, secure channels (SC), anonymous channels (AC) and direction-indeterminable channels (DIC), was investigated by Okamoto. He showed that the three cryptographic channels are reducible to each other, ...
NISHIMAKI Ryo, MANABE Yoshifumi, OKAMOTO Tatsuaki
IEICE Trans. Fundamentals   E91-A(1) 262-271   Jan 2008
Identity-based encryption (IBE) is one of the most important primitives in cryptography, and various security notions of IBE (e. g., IND-ID-CCA2, NM-ID-CCA2, IND-sID-CPA etc.) have been introduced. The relations among them have been clarified rece...
NAGAO Waka, MANABE Yoshifumi, OKAMOTO Tatsuaki
IEICE Trans. Fundamentals   E91-A(1) 283-297   Jan 2008
KEM (Key Encapsulation Mechanism) and DEM (Data Encapsulation Mechanism) were introduced by Shoup to formalize the asymmetric encryption specified for key distribution and the symmetric encryption specified for data exchange in ISO standards on pu...
Yusuke Okada, Yoshifumi Manabe, and Tatsuaki Okamoto
International Journal of Applied Cryptography   1(1) 70-77   2008
Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto
Proceedings of ProvSec2008, Lecture Notes in Computer Science   5324 268-282   2008
Yoshifumi Manabe and Tatsuaki Okamoto
Proceedings of Workshop on Applications of Private and Anonymous Communications   1-8   2008
Norio Akagi, Yoshifumi Manabe, and Tatsuaki Okamoto
Proceedings of Financial Cryptography and Data Security 2008, Lecture Notes in Computer Science   5143 272-286   2008
Ryo Nishimaki, Yoshifumi Manabe, Tatsuaki Okamoto
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   4341 LNCS 337-353   Dec 2006
Identity-based encryption (IBE) is one of the most important primitives in cryptography, and various security notions of IBE (e.g., IND-ID-CCA2, NM-ID-CCA2, IND-sID-CPA etc.) have been introduced. The relations among them have been clarified recen...
NAGAO Waka, MANABE Yoshifumi, OKAMOTO Tatsuaki
IEICE transactions on fundamentals of electronics, communications and computer sciences   89(1) 28-38   Jan 2006
As part of ISO standards on public-key encryption, Shoup introduced the framework of KEM (Key Encapsulation Mechanism), and DEM (Data Encapsulation Mechanism), for formalizing and realizing one-directional hybrid encryption; KEM is a formalization...
Waka Nagao,Yoshifumi Manabe,Tatsuaki Okamoto
IACR Cryptology ePrint Archive   2006 268   2006   [Refereed]
Joong-Man Kim and Yoshifumi Manabe
Proceedings of 4th IEEE International Workshop on Assurance in Distributed Systems and Networks   12-19   2005
Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto
Proceedings of TCC 2005, Lecture Notes in Computer Science   3378 426-444   2005
Yoshifumi Manabe and JaeHurk Park
Proceedings of 10th IEEE International Conference on Parallel and Distributed Systems   341-348   2004
On the Security of Hybrid Public-Key Encryption
Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto
Proceedings of International Conference on Cybernetics and Information Technologies, Systems and Applications   1 28-33   2004
Yoshifumi Manabe and Naka Tajima
Theoretical Computer Science   310(1-3) 379–392   2004
Yoshifumi Manabe
Proceedings of 8th IEEE International Conference on Parallel and Distributed Systems   125-132   2001
SUNG Shao Chin, MANABE Yoshifumi
IEICE transactions on information and systems   E82-D(5) 968-972   May 1999
This paper discusses the generalized mutual exclusion problem defined by H. Kakugawa and M. Yamashita. A set of processes shares a set of resources of an identical type. Each resource must be accessed by at most one process at any time. Each proce...
Yoshifumi Manabe and Naka Tajima
Proceedings of 19th IEEE International Conference on Distributed Computing Systems   216-223   1999
A Consistent Global Checkpoint Algorithm for Distributed Systems with a Forbidden Process
Yoshifumi Manabe
Proceedings of 13th IEEE International Conference on Information Networking      1999
Yoshifumi Manabe and Shigemi Aoyagi
Real-Time Systems   14(2) 171-181   1998
Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, and Shigemi Aoyagi
Theoretical Computer Science   193(1-2) 97-112   1998

Misc

 
Manabe Yoshifumi
応用数理   20(1) 1   Mar 2010
真鍋義文
情報処理   47(1) 48-53   Jan 2006
オープンソースのオペレーティングシステムの代表となっているLinuxは,1991 年に最初のバージョン0.01 が当時ヘルシンキ大学の学生であったLinus Torvalds によってリリースされた.それ以降,Linus Torvaldsを中心とした開発コミュニティによるいわゆる「バザール方式」と呼ばれる開発方式により,多くの改良・機能追加が行われてきている.
Naoki Uchida, Yoshifumi Manabe
NTT Technical Review   3(7) 48-50   Jul 2005
This article describes how OSDL (Open Source Development Labs) is promoting the increased use of the Linux operating system, a typical example of open source software (OSS), and moving towards the standardization of Carrier Grade Linux (CGL) for c...
内田直樹, 真鍋義文
NTT技術ジャーナル   17(5) 66-67   May 2005
Yoshifumi Manabe, Yasuro Kawarasaki, Takashi Ikebe
NTT Technical Review   2(11) 72-74   Nov 2004
This article reports the standardization of extended specifications of Linux for telecommunication carrier systems. Linux is one of the most popular open source operating systems. With people all over the world contributing updates and bug reports...
真鍋義文, 河原崎裕朗, 池辺隆
NTT技術ジャーナル   16(9) 66-67   Sep 2004
Kawashima Konosuke, Manabe Yoshifumi
応用数理   9(2) 2-3   Jun 1999
MANABE Yoshifumi, AOYAGI Shigemi
Journal of IPS Japan   34(11) 1366-1374   Nov 1993
真鍋 義文
IPSJ Magazine   30(8) 984-985   Aug 1989

Books etc

 
Distributed Systems
Morikita Publishing   2013   ISBN:978-4-627-81071-6
Monitoring and Debugging of Distributed Real-Time Systems
IEEE Computer Society Press   1995   ISBN:0-8186-6537-8

Conference Activities & Talks

 
Card-based Cryptographic Protocols [Invited]
MANABE Yoshifumi
9th International Conference on Networking and Information Technology (ICNIT 2018)   Nov 2018   
安井賢也, 真鍋義文
情報処理学会研究報告(Web)   10 May 2018   
Envy-Free Allocation of Divisible Goods [Invited]
MANABE Yoshifumi
3rd International Conference on Information and Network Technologies (ICINT 2018)   May 2018   
Fair Allocation of Divisible Goods [Invited]
MANABE Yoshifumi
International Joint Conference on Information and Communication Engineering (JCICE 2018)   Apr 2018   
小野 響, 真鍋 義文
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   8 Mar 2018   
一杉幸紀, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   6 Mar 2018   
佐々木舞琴, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   6 Mar 2018   
鮫島裕也, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   6 Mar 2018   
小野響, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   6 Mar 2018   
鈴木雄也, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   6 Mar 2018   
小神野優樹, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   6 Mar 2018   
糸数晴輝, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   6 Mar 2018   
古田創大, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   6 Mar 2018   
Fair Division Algorithms [Invited]
MANABE Yoshifumi
6th International Conference on Computer Technology and Science (ICCTS 2017)   Dec 2017   
Fair Allocation of Divisible Goods [Invited]
MANABE Yoshifumi
8th International Conference on Networking and Information Technology (ICNIT 2017)   Nov 2017   
Fair Allocation Problems [Invited]
MANABE Yoshifumi
9th International Conference on Information Management and Engineering (ICIME 2017)   Oct 2017   
小野 響, 真鍋 義文
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   4 Sep 2017   
Fair Allocation Problems [Invited]
MANABE Yoshifumi
2nd International Conference on Information and Network Technologies (ICINT 2017)   May 2017   
並木勇人, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   7 Mar 2017   
吉町優, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   7 Mar 2017   
清水航平, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   7 Mar 2017   
村山和也, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   7 Mar 2017   
山崎芳樹, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   7 Mar 2017   
山川凌平, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   7 Mar 2017   
茨木拓也, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   7 Mar 2017   
小川翔平, 真鍋義文
電子情報通信学会大会講演論文集(CD-ROM)   7 Mar 2017   
Cake-cutting protocols: How fair allocation can be achieved? [Invited]
MANABE Yoshifumi
8th International Conference on Information Management and Engineering(ICIME 2016)   Nov 2016   
Yamamoto Masaharu, Manabe Yoshifumi
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference   1 Mar 2016   
Nakamura Ryo, Manabe Yoshifumi
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference   1 Mar 2016   
Watanabe Kyohei, Manabe Yoshihumi
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference   1 Mar 2016   
Kubo Koki, Manabe Yoshifumi
Proceedings of the IEICE General Conference   1 Mar 2016   
Shimizu Kohei, Manabe Yoshifumi
Proceedings of the IEICE General Conference   1 Mar 2016   
Kurano Sota, Manabe Yoshifumi
Proceedings of the IEICE General Conference   1 Mar 2016   
Yoshimachi Masaru, Manabe Yoshifumi
Proceedings of the IEICE General Conference   1 Mar 2016   
Yoshimachi Masaru, Manabe Yoshifumi
Proceedings of the IEICE General Conference   24 Feb 2015   
Sato Naoya, Manabe Yoshifumi
Proceedings of the IEICE General Conference   24 Feb 2015   
Kawabe Shigekazu, Manabe Yoshifumi
Proceedings of the IEICE General Conference   24 Feb 2015   
Osada Yusuke, Manabe Yoshifumi
Proceedings of the IEICE General Conference   24 Feb 2015   
Shimizu Kohei, Manabe Yoshifumi
Proceedings of the IEICE General Conference   24 Feb 2015   
Inanaga Takahiro, Manabe Yoshifumi
Proceedings of the IEICE General Conference   24 Feb 2015   
Ando Daichi, Manabe Yoshifumi
Proceedings of the IEICE General Conference   24 Feb 2015   
Otsuka Risako, Manabe Yoshifumi
Proceedings of the IEICE General Conference   4 Mar 2014   
Yokoyama Kenta, Manabe Yoshifumi
Proceedings of the IEICE General Conference   4 Mar 2014   
Nagano Hiroaki, Manabe Yoshifumi
Proceedings of the IEICE General Conference   4 Mar 2014   
Sakiyama Shinobu, Manabe Yoshifumi
Proceedings of the IEICE General Conference   4 Mar 2014   
楕円曲線暗号では,楕円曲線に対するスカラー倍算が重要である.また,SPAはサイドチャネル攻撃の一つであり,単一の電力波形を用いた攻撃法である.本稿では,耐SPAを想定し異なる複数点に対して同じビット長のスカラー倍算を行った結果の和を求める新たな方法を提案し、既存法と比較する。
Iguchi Ryo, Manabe Yoshifumi
Proceedings of the IEICE General Conference   4 Mar 2014   
Urushiyama Yuta, Manabe Yoshifumi
Proceedings of the IEICE General Conference   4 Mar 2014   
Komatsubara Tsuyoshi, Manabe Yoshifumi
Proceedings of the IEICE General Conference   4 Mar 2014   
Watanabe Shun, Manabe Yoshifumi
Proceedings of the IEICE General Conference   4 Mar 2014   
Fujimoto Keisuke, Manabe Yoshifumi
Proceedings of the IEICE General Conference   4 Mar 2014   
An online cake division scheme with multiple waiting people
IEICE General Conference 2014   2014   
Laboratories/Students Problem When There are Two Kinds of Students
IEICE General Conference 2014   2014   
Secure Keyword Ad Auction to Bid on Each Ad Position
IEICE General Conference 2014   2014   
Comparison of social surplus between cake-cutting protocols
IEICE General Conference 2014   2014   
Privacy Issues for a Smart Grid Scheme Using Secret Sharing
IEICE General Conference 2014   2014   
Game theoretic security and cryptographic security that takes into account the cost of the commitment protocol
IEICE General Conference 2014   2014   
epsilon- fuzzy matching secure protocol
IEICE General Conference 2014   2014   
An elliptic curve scalar multiplication against SPA
IEICE General Conference 2014   2014   
Reducing the delay of MAC suitable for network coding
IEICE General Conference 2014   2014   
A simplified private stable matching algorithm
16th Financial Cryptography and Data Security Symposium   2012   
久保類, 真鍋義文, 盛合敏
電子情報通信学会技術研究報告   17 Jan 2008   
We designed and built a ubiquitous sensor corpus that utilizes significant information implied in raw sensor data. The corpus consists of raw sensor data and metadata. Raw sensor data is generated by ubiquitous sensors, microphones, and cameras in...
KUBO Rui, MANABE Yoshifumi, MORIAI Satoshi
IPSJ SIG Notes   16 Mar 2006   
This paper proposes a sensor information retrieval platform which exploits information generated by ubiquitous sensors. Our platform improves the usability of sensor information, because our platform stores and searches meta information generated ...
Kubo Rui, Manabe Yoshifumi, Moriai Satoshi
IPSJ SIG Notes   20 May 2005   
This paper proposes a model to interpret information by each artifact in order to use information generated by various sensors in ubiquitous environment. Meta information is annotated to the information generated by the sensors for each ubiquitous...
小西隆介, 天海良治, 佐藤孝治, 真鍋義文, 盛合敏
情報処理学会研究報告   17 Jun 2004   
In these years, adoption of Linux, which is an open source OS, is advancing rapidly. It is said that the reliability of Linux file-system was improved significantly by the introduction of journaling technologies. However, in order to assure the re...
Quorum Based Algorithms using Group Choice
CISC2002   2002   
Manabe Yoshifumi, Tajima Naka
IEICE technical report. Theoretical foundations of Computing   18 Sep 1998   
h-out of-k mutual exclusion is a generalization of 1-mutual exclusion problem, where there are k units of shared resources and each process requests h (1≤h≤k) units at the same time. k-arbiter has been shown to be a quorum-based solution to ...
Manabe Yoshifumi
IEICE technical report. Theoretical foundations of Computing   23 Jul 1998   
A distributed coordinated checkpointing algorithm for distributed mobile systems is shown. A consistent global checkpoint is a set of states in which no message is recorded as received in one process and as not yet sent in another process. In it u...
Manabe Yoshifumi
IEICE technical report. Theoretical foundations of Computing   9 Dec 1997   
A distributed coordinated checkpointing algorithm for distributed systems with a mobile process is shown. A consistent global checkpoint is a set of states in which no message is recorded as received in one process and as not yet sent in another p...
Manabe Yoshifumi
IEICE technical report. Theoretical foundations of Computing   25 Apr 1997   
A distributed checkpoint algorithm for non-FIFO communication channel distributed systems is shown. A consistent global checkpoint is a set of states in which no message is recorded as received in one process but not yet sent in another process. T...
真鍋義文
電子情報通信学会技術研究報告   18 Oct 1996   
This paper shows algorithms for fault-tolerant distributed systems. Policy failure is presented for a failure model of distributed systems and last consistent global checkpoint is presented for failure rollback in distributed systems. A process ha...
MANABE Yoshifumi
IPSJ SIG Notes   17 Oct 1996   
Distributed checkpoint algorithms for non-FIFO communication channel distributed systems are discussed. A first consistent global checkpoint for checkpoint initiation is a set containing a checkpoint for each process in which any checkpoint before...
Manabe Yoshifumi, Awerbuch Baruch
IEICE technical report. Theoretical foundations of Computing   19 Apr 1996   
This paper considers an online admission control problem in which there is a fixed cost of serving each request. The competitive ratio cannot be used as a measure of online algorithms for this type of problem because the benefit given by the onlin...
青柳滋己, 真鍋義文
情報処理学会研究報告   21 Sep 1994   
Many distributed algorithms assume an initial state (processor state and network state) and must start from the intial state, while self-stabilizing algorithms assume no initial state. Katz,et al. proposed an algorithm for automatically creating a...
Manabe Yoshifumi, Aoyagi Shigemi
IEICE technical report. Theoretical foundations of Computing   25 Jul 1994   
The rate monotonic scheduling algorithm is the most commonly used task scheduling algorithm for periodic real-time task systems, in which each task has a deadline by which execution must be complete.This paper discusses feasibility decision for a ...
Manabe Yoshifumi, Aoyagi Shigemi
IEICE technical report. Theoretical foundations of Computing   24 Sep 1993   
The mutual exclusion problem is to guarantee that one process enters the critical section at the same time to use some shared resources,when there are many requesting processes.When there are k identical shared resources,the k-mutual exclusion pro...
真鍋 義文, 青柳 滋己
情報処理学会研究報告マルチメディア通信と分散処理(DPS)   9 Jul 1992   
プロセス生成/消滅、および通信路の設定/解放を動的に行なう分散プログラムに対するデバッグ手法について述べる。分散プログラムのデバッグの困難さの主な原因は動作の非決定性および、プロセスの相互関係理解の困難さにあると考えられる。分散プログラムの開発支援用に、()非決定性の原因となるプロセス生成・通信路設定・通信の再演機能、()大域的条件によるブレークポイント・トレース設定機能、()与えられた大城的条件に対する最小限動作機能を持つ、分散プログラム用デバッガのプロトタイプ版ddbx?pを開発した。...
青柳滋己, 真鍋義文
情報処理学会全国大会講演論文集   24 Feb 1992   
並列・分散プログラムでは、あるプロセスで生じたエラーがプロセス間通信によって他のプロセスに伝播しそこで顕在化することもあり、プログラムのデバッグを非常に因難なものにしている。従来の並列・分散デバッガは個々のプロセスの実行を止めてその時点での変数の値などを調べたり、あるいはプロセス間通信の様子を調べたりする機能は持っているがそれだけではエラーが他のプロセスに伝播して顕在化するバグの原因を発見するには不十分である。メッセージの流れに沿ってデバッグの視点を順方向・逆方向に移動できるcausal ...
真鍋 義文, 青柳 滋己
情報処理学会研究報告マルチメディア通信と分散処理(DPS)   24 Sep 1991   
分散プログラムのデバッグの困難さの主な原因は () 動作の非決定性、() プロセスの相互関係理解の困難さにあると考えられる。これらの問題に対処するため、分散プログラムの開発支援用に、() 非決定的通信の再演機能、() 大域的条件によるブレークポイント・トレース設定機能、() 与えられた大域的条件に対する最小限動作機能を持つ、分散プログラム用デバッガのプロトタイプ版ddbx?pを開発した。通信による動作の非決定性がある場合、再演機能により、同じ状況を繰り返して試験可能である。また、大域的条件...
森保健治, 曽根岡昭直, 真鍋義文
電子情報通信学会技術研究報告   24 Mar 1989   
真鍋義文, 今瀬真, 曽根岡昭直
電子情報通信学会全国大会講演論文集   Aug 1988   
真鍋義文, 今瀬真, 曽根岡昭直
電子情報通信学会全国大会講演論文集   Mar 1988   
真鍋義文, 今瀬真, 曽根岡昭直
電子情報通信学会技術研究報告   19 Jun 1987   
今瀬真, 真鍋義文
電子通信学会技術研究報告   22 Jan 1987   
A Fault Tolerant Routing in Networks
ICIAM '87   1987   
真鍋義文, 能条哲
電子通信学会技術研究報告   25 Jun 1986   

Research Grants & Projects

 
Research on Cryptography, Distributed Algorithms, and Game Theory
The Other Research Programs
Project Year: 2013   
Security, fault-tolerant networks, fair usage for networks