Toshiyuki Maeda

According to our database1, Toshiyuki Maeda authored at least 72 papers between 1990 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties.
J. Chem. Inf. Model., 2020

Word Length Interval Dependency for Mobile Rapid Sentence Reading.
Proceedings of the 7th International Conference on Future Internet of Things and Cloud Workshops, 2019

Long-Term Value of Social Robots through the Eyes of Expert Users.
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

A general model checking framework for various memory consistency models.
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

Personalized mobile rapid sentence reading with multi-lingual extension.
Proceedings of the 28th IEEE Annual International Symposium on Personal, 2017

Web applications for learning CUDA programming.
Proceedings of the 8th International Conference on Information, 2017

Proposal of multi-lingual sentence reading for mobile communication.
Proceedings of the 2017 International Conference on Computing, 2017

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Evaluation of Software Education Using Auto-generated Exercises.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

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

Personal skill identification using time series motion picture data.
Proceedings of the IECON 2015, 2015

Text mining analysis for e-health information system.
Proceedings of the 17th International Conference on E-health Networking, 2015

Automatic generation of programming exercises for learning programming language.
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

Skill Analysis with Time Series Image Data.
CoRR, 2014

Extraction of attributes and knowledge rules for sport skill by TAM network.
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

Sport skill classification using time series motion picture data.
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

A Proposal of Adaboost Type TAM Network and Its Application to Sport Skill Analysis.
Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

Sport motion picture analysis as time series data.
Proceedings of the IEEE 13th International Workshop on Advanced Motion Control, 2014

Time Series Image Data Analysis for Sport Skill.
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

E-health support system in university environment.
Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

Time series data analysis for sport skill.
Proceedings of the 12th International Conference on Intelligent Systems Design and Applications, 2012

Extended alias type system using separating implication.
Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

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

P-Bus: Programming Interface Layer for Safe OS Kernel Extensions.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Mobile Application Framework for Health Care Education.
Proceedings of the 7th IEEE Consumer Communications and Networking Conference, 2010

Optimal Location of Wireless LAN Access Points Using Fuzzy ID3.
J. Adv. Comput. Intell. Intell. Informatics, 2009

Writing an OS Kernel in a Strictly and Statically Typed Language.
Proceedings of the Formal to Practical Security, 2009

Towards an Open Dependable Operating System.
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

Acquisition of embodied knowledge on sport skill using TAM network.
Proceedings of the FUZZ-IEEE 2009, 2009

Spatial Navigation with Consistency Maintenance System.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

Lecture Sequence Management System Using Mobile Phone Messages.
Proceedings of the Computer and Information Science [outstanding papers from IEEE/ACIS ICIS/IWEA 2008], 2008

Reconfigurable Interactivity for Net-Accessible PET-Type Rehabilitation robot System.
Int. J. Robotics Autom., 2007

Interactive operatability for pet-type rehabilitation robot system.
Proceedings of the IEEE International Conference on Systems, 2007

E-mail-based Education Environment Using Mobile Phone Communication.
Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007

Compiling C Programs into a Strongly Typed Assembly Language.
Proceedings of the Advances in Computer Science, 2007

A Web-based integrated education system for a seamless environment among teachers, students, and administrators.
Systems and Computers in Japan, 2006

A Statistical Quality Model for Delay Testing.
IEICE Trans. Electron., 2006

Structure Evaluation of Receptive Field Layer in TAM Network.
Proceedings of the IEEE International Conference on Systems, 2006

Reconfigurable System Architecture for Net-accessible Pet-type Robot System.
Proceedings of the 15th IEEE International Symposium on Robot and Human Interactive Communication, 2006

A Framework of High-quality Transition Fault ATPG for Scan Circuits.
Proceedings of the 2006 IEEE International Test Conference, 2006

Recognition of Sensitized Longest Paths in Transition Delay Test.
Proceedings of the 2006 IEEE International Test Conference, 2006

A dynamic test compaction procedure for high-quality path delay testing.
Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

Invisible delay quality - SDQM model lights up what could not be seen.
Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

Reconfigurable interactivity of pet-type robot rehabilitation system.
Proceedings of the ICINCO 2005, 2005

Path delay test compaction with process variation tolerance.
Proceedings of the 42nd Design Automation Conference, 2005

Evaluation of the statistical delay quality model.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Pet-Type Robot Communication System for Mental Care of Single-Resident Elderies.
Proceedings of the ICINCO 2004, 2004

Net-accessible pet-type robot for aged people's welfare.
Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Computational Intelligence in Robotics and Automation for the New Millennium, 2003

Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.
Proceedings of the Advances in Computing Science, 2003

An Integration of Fuzzy and Two-Valued Logics on Natural Language Semantics.
Proceedings of the Hybrid Information Systems, 2001

Compaction of IDDQ Test Sequence Using Reassignment Method.
J. Electron. Test., 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/ test compaction for internal and external bridging faults.
Proceedings of the 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, 2000

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

Software architecture for flexible and extensible image decoding.
Signal Process. Image Commun., 1997

Realization of multiwindow system with high-speed operations of nonrectangular windows.
Systems and Computers in Japan, 1996

Automatic Depiction of Spatial Descriptions.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

Visualisation: mediating the interchange of information from the verbal to the visual domain.
Proceedings of the Mensch und Maschine, 1992

Decentralized priority encoder and its applications.
Systems and Computers in Japan, 1991

Media conversion into language and voice for intelligent communication.
Proceedings of the First International Conference on Spoken Language Processing, 1990