The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Masaaki Mizuno: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  32. Propagation Delays in Fixed-Priority Scheduling of Periodic Tasks. [Citation Graph (, )][DBLP]


  33. A token based distributed mutual exclusion algorithm based on quorum agreements. [Citation Graph (, )][DBLP]


  34. A DAG-based algorithm for distributed mutual exclusion. [Citation Graph (, )][DBLP]


  35. Document Recognition System with Layout Structure Generator. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002