Hideyuki Kawabata

14 papers A 2B 2C 3Journal 7
YearRankTypeTitle / Venue / Authors
2024 C conf
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers.
Haskell
Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya
2021 J jnl
Rumpfr: A Fast and Memory Leak-free Rust Binding to the GNU MPFR Library.
J. Inf. Process.
Tomoya Michinaka, Hideyuki Kawabata, Tetsuo Hironaka
2019 J jnl
Easy-going Development of Event-Driven Applications by Iterating a Search-Select-Superpose Loop.
J. Inf. Process.
Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
2019 J jnl
Efficient Searching for Essential API Member Sets based on Inclusion Relation Extraction.
Int. J. Networked Distributed Comput.
Yushi Kondoh, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
2019 C conf
Extracting Inclusion Graphs of API Member Sets to Improve Searchability.
SERA
Yushi Kondoh, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
2019 A conf
OSAIFU: A Source Code Factorizer on Android Studio.
ICSME
Masahiro Hata, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
2019 J jnl
Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints.
J. Inf. Process.
Yuya Kono, Hideyuki Kawabata, Tetsuo Hironaka
2019 J jnl
SAIFU: Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code.
Int. J. Networked Distributed Comput.
Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
2019 C conf
Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code.
SERA
Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka
2018 B conf
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General.
APLAS
Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka
2017 J jnl
Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by Using Memoization Based on Quantized Precision.
J. Inf. Process.
Hideyuki Kawabata
2016 A conf
Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations.
ESOP
Hideyuki Kawabata, Hideya Iwasaki
2007 J jnl
A MATLAB-Based Code Generator for Parallel Sparse Matrix Computations Utilizing PSBLAS.
IEICE Trans. Inf. Syst.
Taiji Sasaoka, Hideyuki Kawabata, Toshiaki Kitamura
2004 B conf
A MATLAB-Based Code Generator for Sparse Matrix Computations.
APLAS
Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura