| * | 2006 |
|---|
| 35 | | Amit Gud,
Masaaki Mizuno,
Daniel Andresen:
A Scalable Search Algorithm for Unstructured Peer-to-Peer Networks.
PDPTA 2006: 120-126 |
| 2004 |
|---|
| 34 | EE | Liubo Chen,
Masaaki Mizuno,
Gurdip Singh:
A Priority Inheritance-based Inversion Control Methodology for General Resource Access Problems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 202-210 |
| 33 | EE | Xianghua Deng,
Matthew B. Dwyer,
John Hatcliff,
Masaaki Mizuno:
SyncGen: An Aspect-Oriented Framework for Synchronization.
TACAS 2004: 158-162 |
| 2003 |
|---|
| 32 | | Masaaki Mizuno,
Liubo Chen,
Virgil Wallentine:
Synchronization in a Thread-Pool Model and its Application in Parallel Computing.
PDPTA 2003: 1879-1885 |
| 2002 |
|---|
| 31 | EE | Xianghua Deng,
Matthew B. Dwyer,
John Hatcliff,
Masaaki Mizuno:
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs.
ICSE 2002: 442-452 |
| 30 | EE | Yiwei Chiao,
Masaaki Mizuno,
Mitchell L. Neilsen:
A self-stabilizing quorum-based protocol for maxima computing.
Distributed Computing 15(1): 49-55 (2002) |
| 29 | EE | Gurdip Singh,
Masaaki Mizuno,
Mitchell L. Neilsen,
Donald H. Lenhert,
Naiqian Zhang:
Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum.
IEEE Distributed Systems Online 3(5): (2002) |
| 28 | EE | Mikhail Nesterenko,
Masaaki Mizuno:
A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm.
J. Parallel Distrib. Comput. 62(2): 284-305 (2002) |
| 27 | EE | Rodney R. Howell,
Mikhail Nesterenko,
Masaaki Mizuno:
Finite-State Self-Stabilizing Protocols in Message-Passing Systems.
J. Parallel Distrib. Comput. 62(5): 792-817 (2002) |
| 2000 |
|---|
| 26 | EE | Masaaki Mizuno,
Gurdip Singh,
Mitchell L. Neilsen:
A Structured Approach to Develop Concurrent Programs in UML.
UML 2000: 451-465 |
| 1999 |
|---|
| 25 | | Rodney R. Howell,
Mikhail Nesterenko,
Masaaki Mizuno:
Finite-state self-stabilizing protocols in message-passing systems.
WSS 1999: 62-69 |
| 24 | EE | Masaaki Mizuno:
A Structured Approach for Developing Concurrent Programs in Java.
Inf. Process. Lett. 69(5): 233-238 (1999) |
| 1998 |
|---|
| 23 | EE | Michel Hurfin,
Masaaki Mizuno,
Michel Raynal,
Mukesh Singhal:
Efficient Distributed Detection of Conjunctions of Local Predicates.
IEEE Trans. Software Eng. 24(8): 664-677 (1998) |
| 22 | EE | Masaaki Mizuno,
Mikhail Nesterenko:
A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments.
Inf. Process. Lett. 66(6): 285-290 (1998) |
| 1997 |
|---|
| 21 | | Hirotsugu Kakugawa,
Masaaki Mizuno,
Mikhail Nesterenko:
Development of self-stabilizing distributed algorithms using transformation: case studies.
WSS 1997: 16-30 |
| 1996 |
|---|
| 20 | | Masaaki Mizuno,
Mikhail Nesterenko,
Hirotsugu Kakugawa:
Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms.
ICDCS 1996: 708-716 |
| 19 | | Michel Hurfin,
Masaaki Mizuno,
Michel Raynal,
Mukesh Singhal:
On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations.
SPDP 1996: 0- |
| 18 | | Masaaki Mizuno,
Hirotsugu Kakugawa:
A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments.
WDAG 1996: 304-321 |
| 17 | EE | Mitchell L. Neilsen,
Masaaki Mizuno:
Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion".
Inf. Process. Lett. 60(6): 319 (1996) |
| 16 | EE | Masaaki Mizuno,
Mitchell L. Neilsen,
Michel Raynal:
An Optimistic Protocol for a Linearizable Distributed Shared Memory System.
Parallel Processing Letters 6(2): 265-278 (1996) |
| 1994 |
|---|
| 15 | | Masaaki Mizuno,
Michel Raynal,
Gurdip Singh,
Mitchell L. Neilsen:
An Efficient Implementation of Sequentially Consistent Distributed Shared Memories.
Applications in Parallel and Distributed Computing 1994: 145-154 |
| 14 | | Masaaki Mizuno,
Michel Raynal,
James Z. Zhou:
Sequential Consistency in Distributed Systems.
Dagstuhl Seminar on Distributed Systems 1994: 224-241 |
| 13 | | Mitchell L. Neilsen,
Masaaki Mizuno:
Nondominated k-Coteries for Multiple Mutual Exclusion.
Inf. Process. Lett. 50(5): 247-252 (1994) |
| 1993 |
|---|
| 12 | | James Z. Zhou,
Masaaki Mizuno,
Gurdip Singh:
A Sequentially Consistent Distributed Shared Memory.
ICCI 1993: 165-169 |
| 11 | EE | Mitchell L. Neilsen,
Masaaki Mizuno:
A quorum-based algorithm for parameterized semaphore operations.
Journal of Systems and Software 21(1): 103-112 (1993) |
| 1992 |
|---|
| 10 | | Mahender Nelakonda,
Masaaki Mizuno,
Mitchell L. Neilsen:
A Distributed Algorithm for Parameterized Semaphore Operations.
ICCI 1992: 466-469 |
| 9 | | Mitchell L. Neilsen,
Masaaki Mizuno,
Michel Raynal:
A General Method to Define Quorums.
ICDCS 1992: 657-664 |
| 8 | | Michel Raynal,
Masaaki Mizuno,
Mitchell L. Neilsen:
Synchronization and Concurrency Measures for Distributed Computations.
ICDCS 1992: 700-707 |
| 7 | | Masaaki Mizuno,
David A. Schmidt:
A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof.
Formal Asp. Comput. 4(6A): 727-754 (1992) |
| 6 | EE | Mitchell L. Neilsen,
Masaaki Mizuno:
Coterie Join Algorithm.
IEEE Trans. Parallel Distrib. Syst. 3(5): 582-590 (1992) |
| 1991 |
|---|
| 5 | EE | Mitchell L. Neilsen,
Masaaki Mizuno:
A DAG-based algorithm for distributed mutual exclusion.
ICDCS 1991: 354-360 |
| 4 | EE | Masaaki Mizuno,
Mitchell L. Neilsen,
R. Rao:
A token based distributed mutual exclusion algorithm based on quorum agreements.
ICDCS 1991: 361-368 |
| 1990 |
|---|
| 3 | EE | Yoshitake Tsuji,
Hiroyuki Kami,
Masaaki Mizuno,
Toshiyuki Tanaka,
Haruhiko Tanaka,
Masao Iwashita,
Tsutomu Temma:
Document Recognition System with Layout Structure Generator.
MVA 1990: 479-482 |
| 2 | EE | Masaaki Mizuno,
Arthur E. Oldehoeft:
An access control language for object-oriented programming systems.
Journal of Systems and Software 13(1): 3-12 (1990) |
| 1980 |
|---|
| 1 | | Mario Tokoro,
Klichiro Tamaru,
Masaaki Mizuno,
Masao Hori:
A High-Level Multi-Lingual Multiprocessor KMP.
ISCA 1980: 325-333 |
