Pureに変更を加えた場合、すぐここに表示されます。

研究成果 2004 2019

  • 113 引用
  • 5 h指数
  • 57 Article
  • 4 Conference contribution
  • 2 Conference article
2019
公開
floating
computational geometry
filters
determinants
matrices

LU-Cholesky QR algorithms for thin QR decomposition

Terao, T., Ozaki, K. & Ogita, T., 2019 1 1, (Accepted/In press) : : Parallel Computing. 102571.

研究成果: Article

Decomposition
Parallel processing systems
Error analysis
Data storage equipment
公開
linear systems
algebra
supercomputers
products
2018
1 引用 (Scopus)

Threaded accurate matrix-matrix multiplications with sparse matrix-vector multiplications

Ichimura, S., Katagiri, T., Ozaki, K., Ogita, T. & Nagai, T., 2018 8 3, Proceedings - 2018 IEEE 32nd International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2018. Institute of Electrical and Electronics Engineers Inc., p. 1093-1102 10 p. 8425535

研究成果: Conference contribution

Linear algebra
Computer architecture
Supercomputers
Performance evaluation
2017
Linear systems
Digital arithmetic
Factorization
Experiments
Linear systems
Experiments
2016
3 引用 (Scopus)
Digital arithmetic
Linear algebra

Improvement of the error bound for the dot product using the unit in the first place

Ozaki, K., 2016 10 20, Numerical Computations: Theory and Algorithms, NUMTA 2016: Proceedings of the 2nd International Conference "Numerical Computations: Theory and Algorithms". American Institute of Physics Inc., 巻 1776. 090013

研究成果: Conference contribution

products
floating
2015

Improvement of error-free splitting for accurate matrix multiplication

Ozaki, K., Ogita, T. & Oishi, S., 2015 11 1, : : Journal of Computational and Applied Mathematics. 288, p. 127-140 14 p., 10123.

研究成果: Article

3 引用 (Scopus)

Simple floating-point filters for the two-dimensional orientation problem

Ozaki, K., Bünger, F., Ogita, T., Oishi, S. & Rump, S. M., 2015 7 25, (Accepted/In press) : : BIT Numerical Mathematics.

研究成果: Article

Digital arithmetic
Computational geometry
2013
2012

Application of Error-Free Transformation for Matrix Multiplication

Ozaki, K. & Ogita, T., 2012 6 18, : : Default journal. p. 34-34

研究成果: Article

2 引用 (Scopus)
Computational geometry
11 引用 (Scopus)
Digital arithmetic
Data storage equipment
5 引用 (Scopus)

Fast algorithms for floating-point interval matrix multiplication

Ozaki, K., Ogita, T., Rump, S. M. & Oishi, SI., 2012 1, : : Journal of Computational and Applied Mathematics. 236, 7, p. 1795-1814 20 p.

研究成果: Article

Fast Interval Matrix Multiplication without Directed Rounding

Ozaki, K., Ogita, T. & Oishi, S., 2012 6 25, : : Default journal.

研究成果: Article

Matrix multiplication with guaranteed accuracy by level 3 BLAS

Ozaki, K., Ogita, T. & Oishi, S., 2012, AIP Conference Proceedings. 巻 1504. p. 1128-1133 6 p.

研究成果: Conference contribution

multiplication
matrices
floating
39 引用 (Scopus)

Performance Comparison of Accurate Matrix Multiplication

Ozaki, K. & Ogita, T., 2012 9 25, : : Book of Abstracts. p. 129-130

研究成果: Article

Verification Methods for Linear Systems on a GPU

Morikura, Y., Ozaki, K. & Oishi, S., 2012 9 27, : : Book of Abstracts. p. 113-114

研究成果: Article

2011
1 引用 (Scopus)

Accurate matrix multiplication: Improvement of error-free splitting

Ozaki, K., Ogita, T. & Oishi, S., 2011 9 5, : : Default journal. p. 85-85

研究成果: Article

1 引用 (Scopus)

An algorithm for automatically selecting a suitable verification method for linear systems

Ozaki, K., Ogita, T. & Oishi, S., 2011 3, : : Numerical Algorithms. 56, 3, p. 363-382 20 p.

研究成果: Article

Linear systems
Computational methods
Digital arithmetic
Costs

Error-free transformation of matrix product: worst case optimal algorithm

K.Ozaki, K. O., Ogita, T. & Ozaki, K., 2011 7 2, : : Default journal.

研究成果: Article

General matrix multiplication with guaranteed accuracy

Ozaki, K. & Ogita, T., 2011 6 14, : : Default journal. p. 51-52

研究成果: Article

Simplified semi-static floating-point filter for 2D orientation problem

Ozaki, K., Ogita, T. & Oishi, S., 2011 6 27, : : Default journal. p. 36-37

研究成果: Article

8 引用 (Scopus)
Enclosures
Digital arithmetic
Costs

Verified solutions of linear systems on GPU

Morikura, M., Ozaki, K. & Oishi, S., 2011 6 29, : : Default journal. p. 174-175

研究成果: Article

13 引用 (Scopus)
2009
1 引用 (Scopus)

Adaptive and efficient algorithm for 2D orientation problem

Ozaki, K., Ogita, T., Rump, S. M. & Oishi, S., 2009 10, : : Japan Journal of Industrial and Applied Mathematics. 26, 2-3, p. 215-231 17 p.

研究成果: Article

Convex Hull by Verified Computations

Ozaki, K., Ogita, T. & Oishi, S., 2009 3 22, : : Default journal.

研究成果: Article

Multiple Floating-point Matrix Multiplication by Level 3 Operations

Ozaki, K., Ogita, T. & Oishi, S., 2009 10 18, : : Default journal. p. 159-162

研究成果: Article

Robustness problems and verified computations for computational geometry

Ozaki, K., Ogita, T. & Oishi, S., 2009, Asia Simulation Conference 2009, JSST 2009. Japan Society for Simulation Technology, JSST

研究成果: Conference contribution

Computational geometry
Digital arithmetic

Tight Inclusion for Matrix Multiplication,

Ozaki, K., Ogita, T., Rump, S. M. & Oishi, S., 2008 3 2, : : Default journal.

研究成果: Article