Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Hirotaka Igarashi

dblp:68/4380 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Internet architecture and protocols › protocol design
protocol synthesis
0.011994
Automated synthesis of protocol specifications with message collisions and verification of timeliness · ICNP 1994
Network management and operations
protocol verification
0.011994
Automated synthesis of protocol specifications with message collisions and verification of timeliness · ICNP 1994
Parallel and multicore computing
task scheduling
0.011994
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
YearPublicationVenuePosition
1998 Performance evaluation of popular distributed object technologies for Java
abstract
System 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 timeliness
abstract
Protocol 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
ICNP2