VLDB 2026 Research / reviewers in the wild / expert
Hirotaka Igarashi
dblp:68/4380
· DBLP profile ↗
2ranked-venue papers
0as first author
0since 2021 · last 1998
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1Computer networks · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer networks
1 paper |
Internet architecture and protocols · 50% Network management and operations · 50% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Parallel and multicore computing · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Internet architecture and protocols › protocol design
protocol synthesis |
0.0 | 1 | 1994 | Automated synthesis of protocol specifications with message collisions and verification of timeliness · ICNP 1994 |
Network management and operations
protocol verification |
0.0 | 1 | 1994 | Automated synthesis of protocol specifications with message collisions and verification of timeliness · ICNP 1994 |
Parallel and multicore computing
task scheduling |
0.0 | 1 | 1994 | Automated synthesis of protocol specifications with message collisions and verification of timeliness · ICNP 1994 |
Methods — techniques the papers use, named apart from their topics
transition synthesis · 0.0multiprocessor scheduling algorithm · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1998 | Performance evaluation of popular distributed object technologies for JavaabstractSystem development using Java and distributed object technology (DOT) is becoming common, and can become the standard way of doing network computing in the near future. The performance of DOTs is crucial in high-performance network computing systems. In this paper, the performance of popular DOTs for Java is evaluated in a common environment employing the fastest available PCs and 100 Mbit/s Ethernet. We evaluate HORB, Java RMI, Voyager, two commercial CORBA IIOP implementations, and Distributed COM. For comparison a Java socket version and a C socket version are also evaluated. To represent the characteristics of the DOT, the performance of primitive object operations including remote object creation, remote method call, transferring arrays of objects and transferring large numerical data is measured and evaluated. No DOT won all benchmarks, but HORB showed very good performance for most benchmarks. © 1998 John Wiley & Sons, Ltd. Satoshi Hirano, Yoshiji Yasu, Hirotaka Igarashi |
Concurr. Pract. Exp. | 3 |
| 1994 | Automated synthesis of protocol specifications with message collisions and verification of timelinessabstractProtocol synthesis is used to derive a protocol specification based on a service specification. In the previous protocol synthesis methods, if the service specification includes simultaneous transmission of primitives, then the derived protocol specification includes protocol errors of unspecified receptions caused by message collisions. This paper extends a class of derived protocol specifications to include message collisions which often happen in real communication protocols, and proposes a protocol synthesis method such that (1) simultaneous transmission of primitives causing message collisions can be described in the service specifications, and (2) transitions for avoiding protocol errors of unspecified receptions can be generated by new transition synthesis rates. This paper also proposes a verification method for determining a real-time bound in the synthesized protocol specification using the task scheduling algorithm for multiprocessor systems.> Yoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno |
ICNP | 2 |