Tomoya Tanjo

According to our database1, Tomoya Tanjo authored at least 14 papers between 2010 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
DNA Data Bank of Japan (DDBJ) update report 2022.
Nucleic Acids Res., January, 2023

Core Challenge 2023: Solver and Graph Descriptions.
CoRR, 2023

2019
A Portable Load Balancer with ECMP Redundancy for Container Clusters.
IEICE Trans. Inf. Syst., 2019

2018
Dynamic Framework for Reconfiguring Computing Resources in the Inter-cloud and Its Application to Genome Analysis Workflows.
Proceedings of the Internet and Distributed Computing Systems, 2018

Implementation of Self-adaptive Middleware for Mobile Vehicle Tracking Applications on Edge Computing.
Proceedings of the Internet and Distributed Computing Systems, 2018

A Portable Load Balancer for Kubernetes Cluster.
Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, 2018

2017
An application meta-model to support the execution and benchmarking of scientific applications in multi-cloud environments.
Proceedings of the 2017 IEEE SmartWorld, 2017

Architecture-Independent Cloud Computation for Sensor Environment and Its Applications.
Proceedings of the Internet and Distributed Computing Systems, 2017

Virtual Cloud Service System for Building Effective Inter-Cloud Applications.
Proceedings of the IEEE International Conference on Cloud Computing Technology and Science, 2017

2014
Evaluating data utility of privacy-preserving pseudonymized location datasets.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014

On Safety of Pseudonym-Based Location Data in the Context of Constraint Satisfation Problems.
Proceedings of the Information and Communication Technology, 2014

2012
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011
A Compact and Efficient SAT-Encoding of Finite Domain CSP.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2010
Solving Constraint Satisfaction Problems with SAT Technology.
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010


  Loading...