Searching for authors named "Masaaki Mizuno" – sorted by Relevance.
-
A Structured Approach for Developing Concurrent Programs in Java
- A Structured Approach for Developing Concurrent Programs in Java* Masaaki Mizuno Department
- Cited by 12 (8 self) – Add To MetaCart
-
A Least Fixed Point Approach To Inter-Procedural Information Flow Control
- A LEAST FIXED POINT APPROACH TO INTER-PROCEDURAL INFORMATION FLOW CONTROL Masaaki Mizuno
- Cited by 8 (1 self) – Add To MetaCart
-
Resume
- : “Operating System Support for the Subsumption Architecture for Mobile Robot Control.” Honors advisor: Masaaki
- Add To MetaCart
-
Coterie Join Algorithm
- Coterie Join Algorithm Mitchell L. Neilsen Masaaki Mizuno Department of Computing
- Cited by 8 (3 self) – Add To MetaCart
-
A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments
- Environments Masaaki Mizuno Mikhail Nesterenko Department of Computing and Information Sciences Kansas State
- Cited by 17 (4 self) – Add To MetaCart
-
A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments
- Environments Masaaki Mizuno * Hirotsugu Kakugawa Dept. of Comp. and Info. Sciences Dept. of Elect
- Cited by 9 (0 self) – Add To MetaCart
-
A quorum-based self-stabilizing distributed mutual exclusion algorithm
- @(email omitted); Masaaki Mizuno Deptartment of Computing and Information Sciences Kansas State University Manhattan, KS
- Cited by 2 (0 self) – Add To MetaCart
-
How to find his way in the jungle of consistency criteria for distributed shared memories (or how to escape from Minos' labyrinth)
- to escape from Minos' labyrinth) y Michel RAYNAL Masaaki MIZUNO z IRISA Projet ADP, Campus universitaire
- Cited by 21 (2 self) – Add To MetaCart
-
A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof
- 1 A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof Masaaki
- Cited by 29 (0 self) – Add To MetaCart
-
A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments
- Environments Masaaki Mizuno 1? and Hirotsugu Kakugawa 2?? 1 Dept. of Comp. and Info. Sci. Kansas State
- Add To MetaCart

