Searching for authors named "Masaaki Mizuno" – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
