An Efficient Index Dissemination in Unstructured Peer-to-Peer Networks (2008)
TAKAHASHI, Yusuke, IZUMI, Taisuke, KAKUGAWA, Hirotsugu, MASUZAWA, Toshimitsu
Using Bloom filters is one of the most popular and efficient lookup methods in P2P networks. A Bloom filter is a representation of data item indices, which achieves small memory requirement by...
Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko
Design, verication, and implementation of reliable distributed programs are a dicult task. In a separate paper, we have presented an algorithm that transforms self-stabilizing (SS) serial model...
Abstract. VFlib is a font library written in C which provides several functions for obtaining bitmaps of characters (i.e. a rasterizer). VFlib hides the font format of font files and provides a...
Regular Paper Local Coteries and a Distributed Resource Allocation Algorithm (2007)
Hirotsugu Kakugawa, Masafumi Yamashita
In this paper, we discuss a resource allocation problem in distributed systems. Consider a distributed system consisting of a set of processes and a set of resources of identical type. Each process...
A Study on Distributed k-Mutual Exclusion Algorithms (2007)
The mutual exclusion problem is a problem of arbitrating access conflicts for resources. The problem has been considered as a fundamental problem in computer science and extensively studied from the...
Regular Paper A Universal Self-Stabilizing Mutual Exclusion Algorithm (2007)
Hirotsugu Kakugawa, Masafumi Yamashita
A distributed system is said to be self-stabilizing if it converges to a correct system state from any initial system state in finite number of steps. Such a self-stabilizing system can be regarded...
supports multiple font formats # (2007)
VFlib 3.5.0--- a general font library that
Tadashi Mori, Yoshitsugu Hata, Ryouji Iida, Hirotsugu Kakugawa, Tadashi Ae, Hisae Murakami
In these years, multilingual system becomes important, but, most computer environment cannot handle all languages (scripts) in the world. This paper presents a multilingual imaging system on the...
Mechanical Verification of Self-Stabilizing Distributed Systems (2007)
Self-stabilizing distributed systems are a class of distributed systems which converge to correct system states even if they start from arbitrary system states. A self-stabilizing system can recover...
Toward an Algorithm Education System on the Web (2007)
Hirotsugu Kakugawa, Tadashi Mori
Computers are used almost everywhere and we heavily depends on them in our lives. Since failure of computers cause great loss, software reliability is an important factor for building computer...
A Self-Stabilizing Approximation Algorithm for the Distributed Minimum k-Domination (2005)
KAMEI, Sayaka, KAKUGAWA, Hirotsugu
Self-stabilization is a theoretical framework of nonmasking fault-tolerant distributed algorithms. In this paper, we investigate a self-stabilizing distributed approximation for the minimum...
Hirotsugu Kakugawa, Masafumi Yamashita
A self-stabilizing system is a system such that it autonomously converges to a legitimate system state, regardless of the initial system state. The local mutual exclusion problem is the problem of...
A Space-Optimal Self-Stabilizing Algorithm for the Maximal Independent Set Problem (2002)
Michiyo Ikeda, Sayaka Kamei, Hirotsugu Kakugawa
fault-tolerant distributed algorithms. In this paper, we propose a self-stabilizing algorithm for the maximal independent set problem in distributed systems assuming the state reading model under the...
A Distributed Algorithm for Resource Allocation (2002)
With Probabilistic Quorum, Hideaki Yoshimura, Ken Miura, Hirotsugu Kakugawa
problems in distributed systems, and many resource models and resource allocation algorithms have been proposed in many literature. In this paper, we consider a problem of allocating a set of unnamed...
A device independent DVI interpreter library for various output devices (2000)
In this paper, we describe DVIlib, which is a device independent DVI interpreter library written in C developed by the author. Since DVIlib is completely independent from specific output devices, new...
VFlib --- a general font library that supports multiple font formats (1998)
multiple font formats
Development of self-stabilizing distributed algorithms using transformation: case studies (1997)
Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko
Many self-stabilizing (SS) algorithms have been developed for the serial model, which has much stronger assumptions on the execution environments than common distributed (i.e., message-passing)...
Development of Self-Stabilizing Distributed Algorithms using Transformation: Case Studies (1997)
Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko
. Many self-stabilizing (SS) algorithms have been developed for the serial model, which has much stronger assumptions on the execution environments than common distributed (i.e., message-passing)...
Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms (1996)
Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa
In 1974, Dijkstra introduced the notion of self-stabilization and presented a token circulation distributed mutual exclusion (DMX) protocol as the first self-stabilizing algorithm. Since then, many...
Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms (1996)
Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa
In 1974, Dijkstra introduced the notion of self-stabilization and presented a token circulation distributed mutual exclusion (DMX) protocol as the first self-stabilizing (SS) algorithm. Since then,...
Masaaki Mizuno, Hirotsugu Kakugawa
There are several models for which self-stabilizing programs have been developed. The distributed model accurately reflects a real distributed computing environment; therefore, programs developed for...
Masaaki Mizuno, Hirotsugu Kakugawa
. There are several models for which self-stabilizing (SS) programs have been developed. The distributed model accurately reflects a real distributed computing environment; therefore, programs...
Hirotsugu Kakugawa, Masafumi Yamashita
A distributed system consists of a set of processes and a set of communication links, each connecting a pair of processes. A distributed system is called self-stabilizing if it converges to a correct...
Ae, T.: A Distributed k-Mutual Exclusion Algorithm using k-Coterie (1994)
Hirotsugu Kakugawa, Satoshi Fujita, Masafumi Yamashita, Tadashi Ae
The concept of k-coterie is introduced and a distributed k-mutual exclusion algorithm is proposed using it. A k-coterie is a natural extension of a coterie. The message complexity of the algorithm is...