Search Results - "Shimosawa, Taku"

OpsSC: Decentralized Blockchain Network Operation Workflow for Hyperledger Fabric by Sato, Tatsuya, Shimosawa, Taku, Himura, Yosuke

“…Enterprises have paid attention to permissioned blockchains like Hyperledger Fabric, which is one of the most promising platforms, for efficient decentralized…”
Get full text

Interface for heterogeneous kernels: A framework to enable hybrid OS designs targeting high performance computing on manycore architectures by Shimosawa, Taku, Gerofi, Balazs, Takagi, Masamichi, Nakamura, Gou, Shirasawa, Tomoki, Saeki, Yuji, Shimizu, Masaaki, Hori, Atsushi, Ishikawa, Yutaka

“…Turning towards exascale systems and beyond, it has been widely argued that the currently available systems software is not going to be feasible due to various…”
Get full text

BillingOpsSC: Smart Contract-based Service Billing Management Method for Consortium Blockchain-based Systems by Sato, Tatsuya, Shimosawa, Taku, Yamai, Nariyoshi

“…Enterprises have paid attention to consortium blockchains, in which multiple authorized organizations participate to form a consortium, in contrast to public…”
Get full text

Operations Smart Contract to Realize Decentralized System Operations Workflow for Consortium Blockchain by Sato, Tatsuya, Shimosawa, Taku, Himura, Yosuke

“…IEICE Transactions on Communications, 2022 Enterprises have paid attention to consortium blockchains like Hyperledger Fabric, which is one of the most…”
Get full text

BCVerifier: A Tool to Verify Hyperledger Fabric Ledgers by Shimosawa, Taku, Sato, Tatsuya, Oshima, Satoshi

“…The blockchain technology has been popular not only in cryptoassets but also in various fields of enterprise systems, where smart contracts between multiple…”
Get full text

A Practical Screening Method for Blockchain-Based Systems by Kondo, Yuki, Shimosawa, Taku, Oshima, Satoshi

“…Since Bitcoin and Blockchain became popular, various industries have been interested in applying Blockchain technology to their business. Companies have been…”
Get full text

Parallel SMT Solving and Concurrent Symbolic Execution by Rakadjiev, Emil, Shimosawa, Taku, Mine, Hiroshi, Oshima, Satoshi

“…Satisfiability Modulo Theories (SMT) solving is a fundamental tool in numerous areas of computer science, where problems are expressed as logical formulas…”
Get full text

Configurable Reliability in Multicore Operating Systems by Jianwei Liao, Shimosawa, T., Ishikawa, Y.

“…This paper presents a new multicore operating system with a fault tolerance mechanism called Shimos2, which runs an instance of the kernel on each CPU core. It…”
Get full text

Logical Partitioning without Architectural Supports by Shimosawa, T., Matsuba, H., Ishikawa, Y.

“…As a method for running multiple operating systems on one machine, we propose a new resource partitioning method we have named "single hardware with…”
Get full text