Toshiyuki Maeda
Orcid: 0000-0002-1689-4833
According to our database1,
Toshiyuki Maeda
authored at least 75 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
2
1
3
1
1
1
2
1
1
1
1
1
2
5
3
6
6
3
1
1
4
5
3
5
4
1
2
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
PubChemQC B3LYP/6-31G*//PM6 Data Set: The Electronic Structures of 86 Million Molecules Using B3LYP/6-31G* Calculations.
J. Chem. Inf. Model., September, 2023
PubChemQC B3LYP/6-31G*//PM6 dataset: the Electronic Structures of 86 Million Molecules using B3LYP/6-31G* calculations.
CoRR, 2023
2021
Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2021
2020
PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties.
J. Chem. Inf. Model., 2020
2019
Proceedings of the 7th International Conference on Future Internet of Things and Cloud Workshops, 2019
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019
2017
Int. J. Softw. Tools Technol. Transf., 2017
Model checking copy phases of concurrent copying garbage collection with various memory models.
Proc. ACM Program. Lang., 2017
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations.
J. Inf. Process., 2017
An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels: Full Research Paper.
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017
Proceedings of the 28th IEEE Annual International Symposium on Personal, 2017
Proceedings of the 8th International Conference on Information, 2017
Proceedings of the 2017 International Conference on Computing, 2017
2016
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
2015
Developing a high-performance quantum chemistry program with a dynamic scripting language.
Proceedings of the 3rd International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2015
Execution Performance Analysis of the ABySS Genome Sequence Assembler using Scalasca on the K Computer.
Proceedings of the Parallel Computing: On the Road to Exascale, 2015
Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns.
Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015
Proceedings of the IECON 2015, 2015
Proceedings of the 17th International Conference on E-health Networking, 2015
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015
2014
Proceedings of the 2014 Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS) and 15th International Symposium on Advanced Intelligent Systems (ISIS), 2014
Optimization of a General Model Checking Framework for Various Memory Consistency Models.
Proceedings of the 8th International Conference on Partitioned Global Address Space Programming Models, 2014
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
Extending K-Scope Fortran Source Code Analyzer with Visualization of Performance Profiling Data and Remote Parsing of Source Code.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014
Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014
Proceedings of the IEEE 13th International Workshop on Advanced Motion Control, 2014
2013
Proceedings of the Advance Trends in Soft Computing, 2013
Model Checking Stencil Computations Written in a Partitioned Global Address Space Language.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013
Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013
2012
Proceedings of the 12th International Conference on Intelligent Systems Design and Applications, 2012
2011
Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011
2010
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010
Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010
Proceedings of the 7th IEEE Consumer Communications and Networking Conference, 2010
2009
J. Adv. Comput. Intell. Intell. Informatics, 2009
Proceedings of the Formal to Practical Security, 2009
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Framework for mobile multi-applications.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009
Proceedings of the FUZZ-IEEE 2009, 2009
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
2008
Proceedings of the Computer and Information Science [outstanding papers from IEEE/ACIS ICIS/IWEA 2008], 2008
2007
Reconfigurable Interactivity for Net-Accessible PET-Type Rehabilitation robot System.
Int. J. Robotics Autom., 2007
Proceedings of the IEEE International Conference on Systems, 2007
Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007
Proceedings of the Advances in Computer Science, 2007
2006
A Web-based integrated education system for a seamless environment among teachers, students, and administrators.
Syst. Comput. Jpn., 2006
Proceedings of the IEEE International Conference on Systems, 2006
Proceedings of the 15th IEEE International Symposium on Robot and Human Interactive Communication, 2006
Proceedings of the 2006 IEEE International Test Conference, 2006
Proceedings of the 2006 IEEE International Test Conference, 2006
Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006
2005
Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005
Reconfigurable interactivity of pet-type robot rehabilitation system.
Proceedings of the ICINCO 2005, 2005
Proceedings of the 42nd Design Automation Conference, 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
2004
Pet-Type Robot Communication System for Mental Care of Single-Resident Elderies.
Proceedings of the ICINCO 2004, 2004
2003
Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Computational Intelligence in Robotics and Automation for the New Millennium, 2003
Proceedings of the Advances in Computing Science, 2003
2001
An Integration of Fuzzy and Two-Valued Logics on Natural Language Semantics.
Proceedings of the Hybrid Information Systems, 2001
2000
Precise test generation for resistive bridging faults of CMOS combinational circuits.
Proceedings of the Proceedings IEEE International Test Conference 2000, 2000
Memory reduction of I<sub>DDQ</sub> test compaction for internal and external bridging faults.
Proceedings of the 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, 2000
1998
Acquisition of fuzzy knowledge by NN and GA-A survey of the fusion and union methods proposed in Japan.
Proceedings of the Knowledge-Based Intelligent Electronic Systems, 1998
1997
Signal Process. Image Commun., 1997
1996
Realization of multiwindow system with high-speed operations of nonrectangular windows.
Syst. Comput. Jpn., 1996
1994
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
1992
Visualisation: mediating the interchange of information from the verbal to the visual domain.
Proceedings of the Mensch und Maschine, 1992
1991
1990
Proceedings of the First International Conference on Spoken Language Processing, 1990