Masaki Murakami

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 8

Top Topics

Dynamic Resource Allocation

Experimental Evaluation

Reconfigurable Hardware

Top Venues

IEEE/ACM Trans. Netw.

IEICE Trans. Commun.

Publications

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