16 results on '"Masaki Murakami"'
Search Results
2. First Demonstration of End-to-End Network Slicing with Transport Network Coordination and Edge Cloud Applications in 5G Era.
3. Experimental Evaluation of Application Triggered Flow Classification Using Operated Data Center Traffic Data.
4. Experimental Deployment of Dynamic Resource Allocation Using Biological Attractor Selection in Virtual Packet Optical Node.
5. Flow/Application Triggered SDN control in Hybrid Data-center Network 'HOLST'.
6. Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System.
7. On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication.
8. Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs.
9. A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication.
10. A Model of Access Control for Data Materials Based on Ambient Calculus.
11. Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph.
12. A Calculus for Concurrent System with Higher-Order Streaming Communication.
13. A Runtime Transformation Method for Distributed Systems.
14. Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model.
15. Proving Partial Correctness of Guarded Horn Clauses Programs.
16. A Declarative Semantics of Parallel Logic Programs with Perpetual Processes.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.