Toshiyuki Maeda

81 papers A* 3A 5B 8C 13Misc 2Journal 16Unranked 33

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Using Benchmarking and Regression Models for Predicting CNN Training Time on a GPU. PERMAVOST@HPDC Peter Bryzgalov, Toshiyuki Maeda
2023	J	`jnl`	PubChemQC B3LYP/6-31G//PM6 Data Set: The Electronic Structures of 86 Million Molecules Using B3LYP/6-31G Calculations. J. Chem. Inf. Model. Maho Nakata, Toshiyuki Maeda
2023	J	`jnl`	PubChemQC B3LYP/6-31G//PM6 dataset: the Electronic Structures of 86 Million Molecules using B3LYP/6-31G calculations. CoRR Maho Nakata, Toshiyuki Maeda
2021	—	`conf`	EduPar Virtual Poster Session. IPDPS Workshops Jesús Cámara, José-Carlos Cano, Javier Cuenca, Toshiyuki Maeda, Mariano Saura-Sánchez, Lewis Tseng, Akiyoshi Wakatani, Martina Barnas
2021	—	`conf`	Predicting How CNN Training Time Changes on Various Mini-Batch Sizes by Considering Convolution Algorithms and Non-GPU Time. PERMAVOST@HPDC Peter Bryzgalov, Toshiyuki Maeda, Yutaro Shigeto
2020	J	`jnl`	PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties. J. Chem. Inf. Model. Maho Nakata, Tomomi Shimazaki, Masatomo Hashimoto, Toshiyuki Maeda
2019	A*	`conf`	Long-Term Value of Social Robots through the Eyes of Expert Users. CHI Dmitry Dereshev, David S. Kirk, Kohei Matsumura, Toshiyuki Maeda
2019	—	`conf`	Word Length Interval Dependency for Mobile Rapid Sentence Reading. FiCloud Workshops Toshiyuki Maeda, Akiyoshi Wakatani, Masumi Yajima
2017	J	`jnl`	A general model checking framework for various memory consistency models. Int. J. Softw. Tools Technol. Transf. Tatsuya Abe, Toshiyuki Maeda
2017	B	`conf`	An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels: Full Research Paper. ICPE Masatomo Hashimoto, Masaaki Terai, Toshiyuki Maeda, Kazuo Minami
2017	J	`jnl`	Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations. J. Inf. Process. Tatsuya Abe, Toshiyuki Maeda
2017	J	`jnl`	Model checking copy phases of concurrent copying garbage collection with various memory models. Proc. ACM Program. Lang. Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda
2017	B	`conf`	Personalized mobile rapid sentence reading with multi-lingual extension. PIMRC Toshiyuki Maeda, Masumi Yajima, Akiyoshi Wakatani
2017	Misc	`conf`	Proposal of multi-lingual sentence reading for mobile communication. ICNC Toshiyuki Maeda, Masumi Yajima
2017	—	`conf`	Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. VSTTE Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda
2017	—	`conf`	Web applications for learning CUDA programming. IISA Akiyoshi Wakatani, Toshiyuki Maeda
2016	—	`conf`	Evaluation of Software Education Using Auto-generated Exercises. CSE/EUC/DCABES Akiyoshi Wakatani, Toshiyuki Maeda
2016	B	`conf`	Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. APLAS Tatsuya Abe, Toshiyuki Maeda
2016	Misc	`conf`	Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. SETTA Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
2016	J	`jnl`	Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. CoRR Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
2015	C	`conf`	Automatic generation of programming exercises for learning programming language. ICIS Akiyoshi Wakatani, Toshiyuki Maeda
2015	—	`conf`	Developing a high-performance quantum chemistry program with a dynamic scripting language. SE-HPCCSE@SC Tomomi Shimazaki, Masatomo Hashimoto, Toshiyuki Maeda
2015	—	`conf`	Execution Performance Analysis of the ABySS Genome Sequence Assembler using Scalasca on the K Computer. PARCO Itaru Kitayama, Brian J. N. Wylie, Toshiyuki Maeda
2015	A	`conf`	Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns. MSR Masatomo Hashimoto, Masaaki Terai, Toshiyuki Maeda, Kazuo Minami
2015	C	`conf`	Personal skill identification using time series motion picture data. IECON Toshiyuki Maeda, Masumi Yajima
2015	C	`conf`	Text mining analysis for e-health information system. HealthCom Toshiyuki Maeda, Yae Fukushige, Masumi Yajima
2014	—	`conf`	A General Model Checking Framework for Various Memory Consistency Models. IPDPS Workshops Tatsuya Abe, Toshiyuki Maeda
2014	—	`conf`	A Proposal of Adaboost Type TAM Network and Its Application to Sport Skill Analysis. BICT Isao Hayashi, Masanori Fujii, Toshiyuki Maeda, Tokio Tasaka
2014	—	`conf`	Extending K-Scope Fortran Source Code Analyzer with Visualization of Performance Profiling Data and Remote Parsing of Source Code. HPCC/CSS/ICESS Masaaki Terai, Peter Bryzgalov, Toshiyuki Maeda, Kazuo Minami
2014	—	`conf`	Extraction of attributes and knowledge rules for sport skill by TAM network. SCIS&ISIS Isao Hayashi, Toshiyuki Maeda, Masanori Fujii, Tokio Tasaka
2014	C	`conf`	Feature Extraction of the Nursing Techniques from Hand Motion Data. ICCE Takeshi Matsuda, Toshiyuki Maeda, Yukie Majima
2014	—	`conf`	Optimization of a General Model Checking Framework for Various Memory Consistency Models. PGAS Tatsuya Abe, Toshiyuki Maeda
2014	J	`jnl`	Skill Analysis with Time Series Image Data. CoRR Toshiyuki Maeda, Masanori Fujii, Isao Hayashi
2014	—	`conf`	Sport motion picture analysis as time series data. AMC Toshiyuki Maeda, Masanori Fujii, Isao Hayashi
2014	C	`conf`	Sport skill classification using time series motion picture data. IECON Toshiyuki Maeda, Masanori Fujii, Isao Hayashi, Tokio Tasaka
2013	C	`conf`	E-health support system in university environment. Healthcom Toshiyuki Maeda, Yae Fukushige, Masumi Yajima
2013	—	`conf`	Model Checking Stencil Computations Written in a Partitioned Global Address Space Language. IPDPS Workshops Tatsuya Abe, Toshiyuki Maeda, Mitsuhisa Sato
2013	—	`conf`	Time Series Image Data Analysis for Sport Skill. WCSC Toshiyuki Maeda, Masanori Fujii, Isao Hayashi
2012	C	`conf`	Time series data analysis for sport skill. ISDA Toshiyuki Maeda, Masanori Fujii, Isao Hayashi
2011	—	`conf`	Extended alias type system using separating implication. TLDI Toshiyuki Maeda, Haruki Sato, Akinori Yonezawa
2010	C	`conf`	Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms. PRDC Junya Sawazaki, Toshiyuki Maeda, Akinori Yonezawa
2010	—	`conf`	Mobile Application Framework for Health Care Education. CCNC Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada
2010	C	`conf`	P-Bus: Programming Interface Layer for Safe OS Kernel Extensions. PRDC Hajime Fujita, Motohiko Matsuda, Toshiyuki Maeda, Shin'ichi Miura, Yutaka Ishikawa
2010	—	`conf`	Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts. SSV Toshiyuki Maeda, Akinori Yonezawa
2009	B	`conf`	Acquisition of embodied knowledge on sport skill using TAM network. FUZZ-IEEE Isao Hayashi, Toshiyuki Maeda, Masanori Fujii, Shuoyu Wang, Tokio Tasaka
2009	—	`conf`	Framework for mobile multi-applications. IADIS AC (2) Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada
2009	J	`jnl`	Optimal Location of Wireless LAN Access Points Using Fuzzy ID3. J. Adv. Comput. Intell. Intell. Informatics Isao Hayashi, Takashi Kobayashi, Yoshinori Arai, Toshiyuki Maeda, Atsushi Inoue
2009	—	`conf`	Spatial Navigation with Consistency Maintenance System. ACIS-ICIS Toshiyuki Maeda
2009	C	`conf`	Towards an Open Dependable Operating System. ISORC Yutaka Ishikawa, Hajime Fujita, Toshiyuki Maeda, Motohiko Matsuda, Midori Sugaya, Mitsuhisa Sato, Toshihiro Hanawa, Shin'ichi Miura, Taisuke Boku, Yuki Kinebuchi, Lei Sun, Tatsuo Nakajima, Jin Nakazawa, Hideyuki Tokuda
2009	—	`conf`	Writing an OS Kernel in a Strictly and Statically Typed Language. Formal to Practical Security Toshiyuki Maeda, Akinori Yonezawa
2008	—	`ch.`	Lecture Sequence Management System Using Mobile Phone Messages. Computer and Information Science Toshiyuki Maeda, Tadayuki Okamoto, Yae Fukushige, Takayuki Asada
2007	—	`conf`	Compiling C Programs into a Strongly Typed Assembly Language. ASIAN Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa
2007	B	`conf`	E-mail-based Education Environment Using Mobile Phone Communication. ICALT Toshiyuki Maeda, Tadayuki Okamoto, Tetsushi Miura, Yae Fukushige, Takayuki Asada
2007	B	`conf`	Interactive operatability for pet-type rehabilitation robot system. SMC Toshiyuki Maeda
2007	J	`jnl`	Reconfigurable Interactivity for Net-Accessible PET-Type Rehabilitation robot System. Int. J. Robotics Autom. Toshiyuki Maeda
2006	A	`conf`	A Framework of High-quality Transition Fault ATPG for Scan Circuits. ITC Seiji Kajihara, Shohei Morishima, Akane Takuma, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato
2006	J	`jnl`	A Statistical Quality Model for Delay Testing. IEICE Trans. Electron. Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Seiji Kajihara
2006	J	`jnl`	A Web-based integrated education system for a seamless environment among teachers, students, and administrators. Syst. Comput. Jpn. Noriko Hanakawa, Yoshiko Akazawa, Akira Mori, Toshiyuki Maeda, Shunji Inoue, Shigeyoshi Tsutsui
2006	—	`conf`	A dynamic test compaction procedure for high-quality path delay testing. ASP-DAC Masayasu Fukunaga, Seiji Kajihara, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato
2006	A	`conf`	Recognition of Sensitized Longest Paths in Transition Delay Test. ITC Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Yasuyuki Noduyama, Yasuo Sato
2006	B	`conf`	Reconfigurable System Architecture for Net-accessible Pet-type Robot System. RO-MAN Toshiyuki Maeda
2006	B	`conf`	Structure Evaluation of Receptive Field Layer in TAM Network. SMC Isao Hayashi, Toshiyuki Maeda
2005	—	`conf`	Evaluation of the statistical delay quality model. ASP-DAC Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Seiji Kajihara
2005	A	`conf`	Invisible delay quality - SDQM model lights up what could not be seen. ITC Yasuo Sato, Shuji Hamada, Toshiyuki Maeda, Atsuo Takatori, Yasuyuki Nozuyama, Seiji Kajihara
2005	A*	`conf`	Path delay test compaction with process variation tolerance. DAC Seiji Kajihara, Masayasu Fukunaga, Xiaoqing Wen, Toshiyuki Maeda, Shuji Hamada, Yasuo Sato
2005	C	`conf`	Reconfigurable interactivity of pet-type robot rehabilitation system. ICINCO Toshiyuki Maeda
2004	—	`conf`	Pet-Type Robot Communication System for Mental Care of Single-Resident Elderies. ICINCO (2) Toshiyuki Maeda, Kazumi Yoshida, Hisao Niwa, Kazuhiro Kayashima
2003	—	`conf`	Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. ASIAN Toshiyuki Maeda, Akinori Yonezawa
2003	—	`conf`	Net-accessible pet-type robot for aged people's welfare. CIRA Toshiyuki Maeda, Kazumi Yoshida, Hisao Niwa, Kazuhiro Kayashima, Yuji Maeda
2001	C	`conf`	An Integration of Fuzzy and Two-Valued Logics on Natural Language Semantics. HIS Toshiyuki Maeda, Isao Hayashi, Motohide Umano, Lakhmi C. Jain
2000	J	`jnl`	Compaction of IDDQ Test Sequence Using Reassignment Method. J. Electron. Test. Toshiyuki Maeda, Kozo Kinoshita
2000	—	`conf`	Memory reduction of I Asian Test Symposium Toshiyuki Maeda, Kozo Kinoshita
2000	A	`conf`	Precise test generation for resistive bridging faults of CMOS combinational circuits. ITC Toshiyuki Maeda, Kozo Kinoshita
1999	—	`conf`	Compaction of IDDQ test sequence using reassignment method. ETW Toshiyuki Maeda, Kozo Kinoshita
1998	—	`conf`	Acquisition of fuzzy knowledge by NN and GA-A survey of the fusion and union methods proposed in Japan. KES (1) Isao Hayashi, Motohide Umano, Toshiyuki Maeda, Andreas Bastian, Lakhmi C. Jain
1997	J	`jnl`	Software architecture for flexible and extensible image decoding. Signal Process. Image Commun. Hiroshi Arakawa, Toshiyuki Maeda, Minoru Etoh
1996	J	`jnl`	Realization of multiwindow system with high-speed operations of nonrectangular windows. Syst. Comput. Jpn. Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto
1994	A*	`conf`	Automatic Depiction of Spatial Descriptions. AAAI Patrick Olivier, Toshiyuki Maeda, Jun'ichi Tsujii
1992	C	`conf`	Visualisation: mediating the interchange of information from the verbal to the visual domain. ISI Patrick Olivier, Sophia Ananiadou, Toshiyuki Maeda, Jun'ichi Tsujii
1991	J	`jnl`	Decentralized priority encoder and its applications. Syst. Comput. Jpn. Toshiyuki Maeda, Yoichiro Sato, Tokumi Yokohira, Takuji Okamoto
1990	—	`conf`	Media conversion into language and voice for intelligent communication. ICSLP Fumio Maehara, Masamichi Nakagawa, Kunio Nobori, Toshiyuki Maeda, Tsutomu Mori, Makoto Fujimoto