Hideyuki Kawabata - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2021

Rumpfr: A Fast and Memory Leak-free Rust Binding to the GNU MPFR LibraryTomoya Michinaka, Hideyuki Kawabata, Tetsuo Hironaka. jip, 29:676-684, 2021. [doi]

2019

OSAIFU: A Source Code Factorizer on Android StudioMasahiro Hata, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka. ICSM 2019: 422-425 [doi]

Efficient Searching for Essential API Member Sets based on Inclusion Relation ExtractionYushi Kondoh, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka. ijndc, 7(4):149-157, 2019. [doi]

Extracting Inclusion Graphs of API Member Sets to Improve SearchabilityYushi Kondoh, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka. sera 2019: 53-59 [doi]

Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class ConstraintsYuya Kono, Hideyuki Kawabata, Tetsuo Hironaka. jip, 27:87-94, 2019. [doi]

Easy-going Development of Event-Driven Applications by Iterating a Search-Select-Superpose LoopMasashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka. jip, 27:257-267, 2019. [doi]

SAIFU: Supporting Program Understanding by Automatic Indexing of Functionalities in Source CodeMasashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka. ijndc, 7(4):167-174, 2019. [doi]

Supporting Program Understanding by Automatic Indexing of Functionalities in Source CodeMasashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka. sera 2019: 13-18 [doi]

2018

Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof GeneralHideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka. aplas 2018: 157-165 [doi]

2017

Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by Using Memoization Based on Quantized PrecisionHideyuki Kawabata. jip, 25:494-504, 2017. [doi]

2016

Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical ComputationsHideyuki Kawabata, Hideya Iwasaki. ESOP 2016: 390-418 [doi]

2007

A MATLAB-Based Code Generator for Parallel Sparse Matrix Computations Utilizing PSBLASTaiji Sasaoka, Hideyuki Kawabata, Toshiaki Kitamura. ieicet, 90-D(1):2-12, 2007. [doi]

2004

A MATLAB-Based Code Generator for Sparse Matrix ComputationsHideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura. aplas 2004: 280-295 [doi]

Sign in or sign up to see more results.

runs on WebDSL