Taku Shimosawa

According to our database, Taku Shimosawa authored at least 10 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

BillingOpsSC: Smart Contract-based Service Billing Management Method for Consortium Blockchain-based Systems.

Tatsuya Sato, Taku Shimosawa, Nariyoshi Yamai

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

Operations Smart Contract to Realize Decentralized System Operations Workflow for Consortium Blockchain.

Tatsuya Sato, Taku Shimosawa, Yosuke Himura

IEICE Trans. Commun., November, 2022

2021

OpsSC: Decentralized Blockchain Network Operation Workflow for Hyperledger Fabric.

Tatsuya Sato, Taku Shimosawa, Yosuke Himura

Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

2020

BCVerifier: A Tool to Verify Hyperledger Fabric Ledgers.

Taku Shimosawa, Tatsuya Sato, Satoshi Oshima

Proceedings of the IEEE International Conference on Blockchain, 2020

2018

A Practical Screening Method for Blockchain-Based Systems.

Yuki Kondo, Taku Shimosawa, Satoshi Oshima

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

2015

Parallel SMT Solving and Concurrent Symbolic Execution.

Emil Rakadjiev, Taku Shimosawa, Hiroshi Mine, Satoshi Oshima

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

2014

Interface for heterogeneous kernels: A framework to enable hybrid OS designs targeting high performance computing on manycore architectures.

Taku Shimosawa, Balazs Gerofi, Masamichi Takagi, Gou Nakamura, Tomoki Shirasawa, Yuji Saeki, Masaaki Shimizu, Atsushi Hori, Yutaka Ishikawa

Proceedings of the 21st International Conference on High Performance Computing, 2014

2012

A file I/O system for many-core based clusters.

Yuki Matsuo, Taku Shimosawa, Yutaka Ishikawa

Proceedings of the 2nd International Workshop on Runtime and Operating Systems for Supercomputers, 2012

2011

Configurable Reliability in Multicore Operating Systems.

Jianwei Liao, Taku Shimosawa, Yutaka Ishikawa

Proceedings of the 14th IEEE International Conference on Computational Science and Engineering, 2011

2008

Logical Partitioning without Architectural Supports.

Taku Shimosawa, Hiroya Matsuba, Yutaka Ishikawa

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008