Tomoya Tanjo

According to our database1, Tomoya Tanjo authored at least 15 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract).
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

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...