Masaki Murakami

28 papers C 1Misc 1Journal 12Unranked 14
YearRankTypeTitle / Venue / Authors
2024 J jnl
Experimental Evaluation on Priority-Aware Guaranteed Resource Allocation for Resource Pool Based Reconfigurable Hardware.
IEEE/ACM Trans. Netw.
Masaki Murakami, Takashi Kurimoto, Satoru Okamoto, Naoaki Yamanaka
2023 J jnl
Networking Experiment of Domain-Specific Networking Platform Based on Optically Interconnected Reconfigurable Communication Processors.
IEICE Trans. Commun.
Masaki Murakami, Takashi Kurimoto, Satoru Okamoto, Naoaki Yamanaka, Takayuki Muranaka
2022 — conf
Experiment of Nationwide Multi-Route Skew Cancelling for Dynamic Mapping of MAC Signals over SDM/WDM Network Testbed.
OECC/PSC
Masaki Murakami, Yoshihiko Uematsu, Satoru Okamoto, Naoaki Yamanaka, Daiki Soma, Shohei Beppu, Noboru Yoshikane, Takehiro Tsuritani, Takahiro Kodama, Masahiko Jinno
2020 J jnl
Online parameter tuning of the flow classification method in the energy-efficient data center network "HOLST".
JOCN
Masaki Murakami, Hiroki Kubokawa, Kyosuke Sugiura, Eiji Oki, Satoru Okamoto, Naoaki Yamanaka
2019 — conf
Experimental Deployment of Dynamic Resource Allocation Using Biological Attractor Selection in Virtual Packet Optical Node.
OECC/PSC
Chiaki Hara, Masaki Murakami, Satoru Okamoto, Naoaki Yamanaka
2019 — conf
Experimental Evaluation of Application Triggered Flow Classification Using Operated Data Center Traffic Data.
OECC/PSC
Masaki Murakami, Masahiro Matsuno, Satoru Okamoto, Naoaki Yamanaka
2019 — conf
First Demonstration of End-to-End Network Slicing with Transport Network Coordination and Edge Cloud Applications in 5G Era.
OECC/PSC
Shinya Nakamura, Kohei Shiomoto, Hyde Sugiyama, Yusuke Hirota, Noboru Yoshikane, Kentaro Sugawara, Masatake Miyabe, Tomotaka Eguchi, Satoru Okamoto, Masaki Murakami, Takahiro Hirayama, Ikuo Sato, Thomas Roux
2018 — conf
Flow/Application Triggered SDN control in Hybrid Data-center Network "HOLST".
OFC
Yukihiro Imakiire, Masayuki Hirono, Masaki Murakami, Satoru Okamoto, Naoaki Yamanaka
2013 Misc conf
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System.
TASE
Masaki Murakami
2009 — conf
On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication.
CPA
Masaki Murakami
2008 — conf
A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication.
TMFCS
Masaki Murakami
2008 C conf
Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs.
ICTAC
Masaki Murakami
2007 — conf
Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model.
FCS
Masaki Murakami
2006 — conf
A Model of Access Control for Data Materials Based on Ambient Calculus.
Software Engineering Research and Practice
Masaki Murakami
2006 J jnl
A formal model of concurrent systems based on bipartite directed acyclic graph.
Sci. Comput. Program.
Masaki Murakami
2005 J jnl
A calculus for concurrent system with higher-order streaming communication.
Sci. Comput. Program.
Masaki Murakami
2005 — conf
Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph.
Software Engineering Research and Practice
Masaki Murakami
2004 — conf
A Calculus for Concurrent System with Higher-Order Streaming Communication.
Software Engineering Research and Practice
Masaki Murakami
2004 J jnl
A model of runtime transformation for distributed systems based on directed acyclic graph model.
J. Syst. Archit.
Masaki Murakami
2003 — conf
A Runtime Transformation Method for Distributed Systems.
Software Engineering Research and Practice
Masaki Murakami
2003 J jnl
Evolvable concurrent processes.
Comput. Stand. Interfaces
Masaki Murakami
1990 J jnl
A Declarative Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes.
Theor. Comput. Sci.
Masaki Murakami
1990 J jnl
Nested Guarded Horn Clauses.
Int. J. Found. Comput. Sci.
Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami
1988 — conf
A Declarative Semantics of Parallel Logic Programs with Perpetual Processes.
FGCS
Masaki Murakami
1988 J jnl
Unfolding Rules for GHC Programs.
New Gener. Comput.
Koichi Furukawa, Akira Okumura, Masaki Murakami
1987 — conf
Proving Partial Correctness of Guarded Horn Clauses Programs.
LP
Masaki Murakami
1987 J jnl
Verification system for freedom from deadlock of communicating sequential processes.
Syst. Comput. Jpn.
Masaki Murakami, Yasuyoshi Inagaki
1986 J jnl
Verification system for partial correctness of communicating sequential processes.
Syst. Comput. Jpn.
Masaki Murakami, Yasuyoshi Inagaki