Hiroaki Yoshida

According to our database1, Hiroaki Yoshida authored at least 41 papers between 2002 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Bugs.jar: a large-scale, diverse dataset of real-world Java bugs.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Accelerating Search-Based Program Repair.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Elixir: an automated repair tool for Java programs.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution.
IEEE Software, 2017

Noise Reduction in Swallowing Muscle Activity Measurement Based on Mixture Gaussian Distribution Model.
JACIII, 2017

A Dissipation of Relative Entropy by Diffusion Flows.
Entropy, 2017

Automatic and dynamic grounding method based on sensor data for agent-based simulation.
Proceedings of the 2017 Winter Simulation Conference, 2017

Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan.
Proceedings of the Social Informatics, 2017

ELIXIR: effective object oriented program repair.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Anti-patterns in search-based program repair.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

FSX: fine-grained incremental unit test generation for C/C++ programs.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

MuVM: Higher Order Mutation Analysis Virtual Machine for C.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015
Generating Succinct Test Cases Using Don't Care Analysis.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Investigation of Comfort of Uniform Shirt Made of Cellulose Considering Environmental Load.
Proceedings of the Computer Information Systems and Industrial Management, 2015

2014
Lattice Boltzmann method for the convection-diffusion equation in curvilinear coordinate systems.
J. Comput. Physics, 2014

An Energy-Efficient Patchable Accelerator and Its Design Methods.
IEICE Transactions, 2014

2012
An Integral Representation of the Relative Entropy.
Entropy, 2012

A redundant wire addition method for Patchable Accelerator.
Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012

Post-silicon debugging targeting electrical errors with patchable controllers (abstract only).
Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, 2012

On error tolerance and Engineering Change with Partially Programmable Circuits.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

Post-silicon patching for verification/debugging with high-level models and programmable logic.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2011
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability.
IPSJ Trans. System LSI Design Methodology, 2011

An energy-efficient patchable accelerator for post-silicon engineering changes.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010
Performance-Constrained Transistor Sizing for Different Cell Count Minimization.
JIP, 2010

Multiple-relaxation-time lattice Boltzmann model for the convection and anisotropic diffusion equation.
J. Comput. Physics, 2010

2009
Interconnect-Aware Pipeline Synthesis for Array-Based Architectures.
IEICE Transactions, 2009

Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences.
Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

2008
A Diffusion Model for Rarefied Flows in Curved Channels.
Multiscale Modeling & Simulation, 2008

A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams.
Proceedings of the ICSOFT 2008, 2008

Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Some set partition statistics in non-crossing partitions and generating functions.
Discrete Mathematics, 2007

2006
A Structural Approach for Transistor Circuit Synthesis.
IEICE Transactions, 2006

Exact Minimum Logic Factoring via Quantified Boolean Satisfiability.
Proceedings of the 13th IEEE International Conference on Electronics, 2006

2005
A Performance Driven Module Generator for a Dual-Rail PLA with Embedded 2-Input Logic Cells.
IEICE Transactions, 2005

An algebraic approach for transistor circuit synthesis.
Proceedings of the 12th IEEE International Conference on Electronics, 2005

2004
Accurate pre-layout estimation of standard cell characteristics.
Proceedings of the 41th Design Automation Conference, 2004

2002
Logic Synthesis for AND-XOR-OR Type Sense-Amplifying PLA.
Proceedings of the ASPDAC 2002 / VLSI Design 2002, 2002

Simultaneous Circuit Transformation and Routing.
Proceedings of the ASPDAC 2002 / VLSI Design 2002, 2002

A Quantum Algorithm for Searching Web Communities.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Logic synthesis for PLA with 2-input logic elements.
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002


  Loading...