研究成果

1993

Numerical verifications of solutions for nonlinear elliptic equations

Watanabe, Y. & Nakao, M. T., 2 1 1993, : : Japan Journal of Industrial and Applied Mathematics. 10, 1, p. 165-178 14 p.

研究成果: ジャーナルへの寄稿記事

25 引用 (Scopus)
1994

On computational proofs of the existence of solutions to nonlinear parabolic problems

Nakao, M. T. & Watanabe, Y., 5 20 1994, : : Journal of Computational and Applied Mathematics. 50, 1-3, p. 401-410 10 p.

研究成果: ジャーナルへの寄稿記事

4 引用 (Scopus)
1995
2 引用 (Scopus)
1997

A portable distributed shared memory system on the cluster environment: Design and implementation fully in software

Sato, H., Nanri, T. & Shimasaki, M., 1 1 1997, High Performance Computing - International Symposium, ISHPC 1997, Proceedings. Araki, K., Amamiya, M., Polychronopoulos, C. & Joe, K. (版). Springer Verlag, p. 343-350 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 1336).

研究成果: 著書/レポートタイプへの貢献会議での発言

Cost estimation of coherence protocols of software managed cache on distributed shared memory system

Nanri, T., Sato, H. & Shimasaki, M., 1 1 1997, High Performance Computing - International Symposium, ISHPC 1997, Proceedings. Araki, K., Amamiya, M., Polychronopoulos, C. & Joe, K. (版). Springer Verlag, p. 335-342 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 1336).

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (Scopus)

Design and implementation of PVM-based portable distributed shared memory system on the workstation cluster environment

Hiroyuki, S., Nanri, T. & Masaaki, S., 1997, Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. Anon (版). IEEE Comp Soc, p. 578-583 6 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (Scopus)

Using cache optimizing compiler for managing software cache on distributed shared memory system

Nanri, T., Sato, H. & Shimasaki, M., 1 1 1997, p. 312-318. 7 p.

研究成果: 会議への寄与タイプ論文

3 引用 (Scopus)

Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

Watanabe, Y., Yamamoto, N. & Nakao, M. T., 2 3 1997, : : Nonlinear Analysis, Theory, Methods and Applications. 28, 3, p. 577-587 11 p.

研究成果: ジャーナルへの寄稿記事

5 引用 (Scopus)
1998

A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

Nakao, M. T., Yamamoto, N. & Watanabe, Y., 4 24 1998, : : Journal of Computational and Applied Mathematics. 91, 1, p. 137-158 22 p.

研究成果: ジャーナルへの寄稿記事

7 引用 (Scopus)

Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations

Nakao, M. T., Yamamoto, N. & Watanabe, Y., 12 1 1998, : : Reliable Computing. 23, 5, p. 115-124 10 p.

研究成果: ジャーナルへの寄稿記事

1 引用 (Scopus)
1999

A Numerical Verification Method of Solutions for the Navier-Stokes Equations

Watanabe, Y., Yamamoto, N. & Nakao, M. T., 1 1 1999, : : Reliable Computing. 5, 3, p. 347-357 11 p.

研究成果: ジャーナルへの寄稿Conference article

10 引用 (Scopus)
2000

Preliminary investigation of distributed shared memory system on a cluster of high performance clusters

Nanri, T., Watanabe, Y., Sato, H. & Shimasaki, M., 12 1 2000, European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS 2000.

研究成果: 著書/レポートタイプへの貢献会議での発言

2001

Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data

Nakao, M. T., Watanabe, Y. & Yamamoto, N., 6 2001, : : Japan Journal of Industrial and Applied Mathematics. 18, 2, p. 587-602 16 p.

研究成果: ジャーナルへの寄稿記事

2002

Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

Toyonaga, K., Nakao, M. T. & Watanabe, Y., 10 1 2002, : : Journal of Computational and Applied Mathematics. 147, 1, p. 175-190 16 p.

研究成果: ジャーナルへの寄稿記事

4 引用 (Scopus)
2003

Some computer assisted proofs for solutions of the heat convection problems

Nakao, M. T., Watanabe, Y., Yamamoto, N. & Nishida, T., 10 2003, : : Reliable Computing. 9, 5, p. 359-372 14 p.

研究成果: ジャーナルへの寄稿記事

7 引用 (Scopus)
2004

An efficient approach to the numerical verification for solutions of elliptic differential equations

Nakao, M. T. & Watanabe, Y., 12 1 2004, : : Numerical Algorithms. 37, 1-4 SPEC. ISS., p. 311-323 13 p.

研究成果: ジャーナルへの寄稿記事

15 引用 (Scopus)

A numerical verification of nontrivial solutions for the heat convection problem

Watanabe, Y., Yamamoto, N., Nakao, M. T. & Nishida, T., 12 1 2004, : : Journal of Mathematical Fluid Mechanics. 6, 1, p. 1-20 20 p.

研究成果: ジャーナルへの寄稿記事

17 引用 (Scopus)
2005

A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

Nakao, M. T., Hashimoto, K. & Watanabe, Y., 7 1 2005, : : Computing (Vienna/New York). 75, 1 SPEC. ISS., p. 1-14 14 p.

研究成果: ジャーナルへの寄稿記事

29 引用 (Scopus)

A numerical verification method for solutions of singularly perturbed problems with nonlinearity

Hashimoto, K., Abe, R., Nakao, M. T. & Watanabe, Y., 2 2005, : : Japan Journal of Industrial and Applied Mathematics. 22, 1, p. 111-131 21 p.

研究成果: ジャーナルへの寄稿記事

Performance comparison of vector-calculations between Itanium2 and other processors

Nanri, T., Watanabe, Y. & Sato, H., 12 1 2005, IWIA 2005: Innovative Architecture for Future Generation High-Performance Processors and Systems. 巻 2005. p. 141-146 6 p. 1587835

研究成果: 著書/レポートタイプへの貢献会議での発言

2006

Collective communication costs analysis over Gigabit Ethernet and InfiniBand

Mamadou, H. N., Nanri, T. & Murakami, K., 12 1 2006, High Performance Computing - HiPC 2006 - 13th International Conference Proceedings. p. 547-559 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 4297 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

4 引用 (Scopus)
2007

At the cutting edge of a petascale computing world: An overview of Petascale System Interconnect project

Murakami, K. J., Gu, F. L., Aoyagi, M., Nanri, T. & Inoue, K., 12 1 2007, Computational Methods in Science and Engineering - Theory and Computation: Old Problems and New Challenges, Lectures Presented at the Int. Conf. Computational Methods in Sci. Eng. 2007 ICCMSE 2007. 1 版 p. 23-38 16 p. (AIP Conference Proceedings; 巻数 963, 番号 1).

研究成果: 著書/レポートタイプへの貢献会議での発言

Dynamic optimization of load balance in MPI broadcast

Soga, T., Kurihara, K., Nanri, T., Kurokawa, M. & Murakami, K., 12 1 2007, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 14th European PVM/MPI Users' Group Meeting, Proceedings. p. 387-388 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 4757 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Evaluation of the performance of parallel sparse-matrix multiplication and the effect of dynamic load-balancing

Nanri, T., Soga, T., Kurihara, K., Gu, F. L., Ishihata, H. & Murakami, K., 12 1 2007, Computation in Modern Science and Engineering - Proceedings of the International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007). 2 版 p. 106-109 4 p. (AIP Conference Proceedings; 巻数 963, 番号 2).

研究成果: 著書/レポートタイプへの貢献会議での発言

Investigating the performance of collective communications on SMP clusters: A case for MPI-Allgather

Gu, F. L., Hyacinthe, N. M., Domingues, G. D. M. B., Nanri, T. & Murakami, K., 12 1 2007, Computation in Modern Science and Engineering - Proceedings of the International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007). 2 版 p. 52-56 5 p. (AIP Conference Proceedings; 巻数 963, 番号 2).

研究成果: 著書/レポートタイプへの貢献会議での発言

Performance analysis and linear optimization modeling of all-to-all collective communication algorithms

Mamadou, H. N., Domingues, G. D. M. B., Nanri, T. & Murakami, K., 12 1 2007, Proceedings - 19th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD. p. 203-210 8 p. 4384059. (Proceedings - Symposium on Computer Architecture and High Performance Computing).

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

SMMH - A parallel heuristic for combinatorial optimization problems

Domingues, G., Morie, Y., Gu, F. L., Nanri, T. & Murakami, K., 12 1 2007, Computation in Modern Science and Engineering - Proceedings of the International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007). 2 版 p. 1195-1198 4 p. (AIP Conference Proceedings; 巻数 963, 番号 2).

研究成果: 著書/レポートタイプへの貢献会議での発言

SMMH - A parallel Heuristic for combinatorial optimization problems

Domingues, G., Morie, Y., Gu, F. L., Nanri, T. & Murakami, K., 12 1 2007, Computation in Modern Science and Engineering - Proceedings of the International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007). 2 版 p. 40-43 4 p. (AIP Conference Proceedings; 巻数 963, 番号 2).

研究成果: 著書/レポートタイプへの貢献会議での発言

2008

A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow

Watanabe, Y., Plum, M. & Nakao, M. T., 1 1 2008, : : ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik. 89, 1, p. 5-18 14 p.

研究成果: ジャーナルへの寄稿記事

13 引用 (Scopus)

Dynamic vs static implementations of MPI on new trend computer architectures

Mamadou, H. N., Nanri, T. & Murakami, K., 12 1 2008, WMSCI 2008 - The 12th World Multi-Conference on Systemics, Cybernetics and Informatics, Jointly with the 14th International Conference on Information Systems Analysis and Synthesis, ISAS 2008 - Proc.. p. 113-118 6 p. (WMSCI 2008 - The 12th World Multi-Conference on Systemics, Cybernetics and Informatics, Jointly with the 14th International Conference on Information Systems Analysis and Synthesis, ISAS 2008 - Proc.; 巻数 5).

研究成果: 著書/レポートタイプへの貢献会議での発言

Effect of reordering internal messages in MPI broadcast according to the load imbalance

Soga, T., Nanri, T., Kurokawa, M. & Murakami, K., 12 1 2008, Innovative Architecture for Future Generation High-Performance Processors and Systems, IWIA 2008. p. 11-16 6 p. 5453548. (Proceedings of the Innovative Architecture for Future Generation High-Performance Processors and Systems).

研究成果: 著書/レポートタイプへの貢献会議での発言

Performance models for MPI collective communications with network contention

Mamadou, H. N., Nanri, T. & Murakami, K., 1 1 2008, : : IEICE Transactions on Communications. E91-B, 4, p. 1015-1024 10 p.

研究成果: ジャーナルへの寄稿記事

2009

A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid

Watanabe, Y., 1 15 2009, : : Journal of Computational and Applied Mathematics. 223, 2, p. 953-966 14 p.

研究成果: ジャーナルへの寄稿記事

9 引用 (Scopus)

A dynamic solution for efficient MPI collective communications

Mamadou, H. N., Gu, F. L., Oddou, V., Nanri, T. & Murakami, K., 12 2 2009, Proceedings of the 2009 International Joint Conference on Computational Sciences and Optimization, CSO 2009. p. 3-7 5 p. 5193631. (Proceedings of the 2009 International Joint Conference on Computational Sciences and Optimization, CSO 2009; 巻数 1).

研究成果: 著書/レポートタイプへの貢献会議での発言

4 引用 (Scopus)

A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems

Kim, M., Nakao, M. T., Watanabe, Y. & Nishida, T., 1 1 2009, : : Numerische Mathematik. 111, 3, p. 389-406 18 p.

研究成果: ジャーナルへの寄稿記事

9 引用 (Scopus)

A robust dynamic optimization for MPI alltoall operation

Mamadou, H. N., Nanri, T. & Murakami, K., 11 25 2009, IPDPS 2009 - Proceedings of the 2009 IEEE International Parallel and Distributed Processing Symposium. 5160917. (IPDPS 2009 - Proceedings of the 2009 IEEE International Parallel and Distributed Processing Symposium).

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)
1 引用 (Scopus)

Spectral problem on 3-D photonic crystals

Nagatou, K., Brown, M., Kim, M., Watanabe, Y. & Wood, I., 11 26 2009, Numerical Analysis and Applied Mathematics - International Conference on Numerical Analysis and Applied Mathematics 2009, ICNAAM-2009. p. 922-925 4 p. (AIP Conference Proceedings; 巻数 1168).

研究成果: 著書/レポートタイプへの貢献会議での発言

2010

Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems

Nakao, M. T., Watanabe, Y., Yamamoto, N., Nishida, T. & Kim, M. N., 6 1 2010, : : Journal of Scientific Computing. 43, 3, p. 388-401 14 p.

研究成果: ジャーナルへの寄稿記事

2 引用 (Scopus)

Erratum: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (J Sci Comput (10.1007/s10915-009-9303-3))

Nakao, M. T., Watanabe, Y., Yamamoto, N., Nishida, T. & Kim, M., 7 1 2010, : : Journal of Scientific Computing. 44, 1, 1 p.

研究成果: ジャーナルへの寄稿コメント/討論

2011

A method for predicting a penalty of contentions by considering priorities of routing among packets on direct interconnection network

Morie, Y., Nanri, T. & Susukita, R., 8 29 2011, Proceedings - 4th International Joint Conference on Computational Sciences and Optimization, CSO 2011. p. 263-267 5 p. 5957657. (Proceedings - 4th International Joint Conference on Computational Sciences and Optimization, CSO 2011).

研究成果: 著書/レポートタイプへの貢献会議での発言

A theorem for numerical verification on local uniqueness of solutions to fixed-point equations

Yamamoto, N., Nakao, M. T. & Watanabe, Y., 12 1 2011, : : Numerical Functional Analysis and Optimization. 32, 11, p. 1190-1204 15 p.

研究成果: ジャーナルへの寄稿記事

2 引用 (Scopus)

Effect of dynamic algorithm selection of Alltoall communication on environments with unstable network speed

Nanri, T. & Kurokawa, M., 9 26 2011, Proceedings of the 2011 International Conference on High Performance Computing and Simulation, HPCS 2011. p. 693-698 6 p. 5999894. (Proceedings of the 2011 International Conference on High Performance Computing and Simulation, HPCS 2011).

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (Scopus)

Task allocation method for avoiding contentions by the information of concurrent communications

Morie, Y., Nanri, T. & Kurokawa, M., 6 13 2011, Proceedings of the 10th IASTED International Conference on Parallel and Distributed Computing and Networks, PDCN 2011. p. 62-69 8 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (Scopus)
2012

An alternative domain decomposition technique for CUDA-based 3D FDTD methods

Livesey, M., Stack, J. F., Costen, F., Nanri, T., Fujino, S. & Nakashima, N., 2012, European Microwave Week 2012: "Space for Microwaves", EuMW 2012, Conference Proceedings - 42nd European Microwave Conference, EuMC 2012. p. 795-798 4 p. 6459088

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

An alternative domain decomposition technique for CUDA-based 3D FDTD methods

Livesey, M., Stack, J. F., Costen, F., Nanri, T., Fujino, S. & Nakashima, N., 12 1 2012, European Microwave Week 2012: "Space for Microwaves", EuMW 2012, Conference Proceedings - 9th European Radar Conference, EuRAD 2012. p. 469-472 4 p. 6450761. (European Microwave Week 2012: "Space for Microwaves", EuMW 2012, Conference Proceedings - 9th European Radar Conference, EuRAD 2012).

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (Scopus)

A numerical verification method for a system of FitzHugh-Nagumo type

Cai, S., Nagatou, K. & Watanabe, Y., 10 1 2012, : : Numerical Functional Analysis and Optimization. 33, 10, p. 1195-1220 26 p.

研究成果: ジャーナルへの寄稿記事

5 引用 (Scopus)

Development of a CUDA implementation of the 3D FDTD method

Livesey, M., Stack, J. F., Costen, F., Nanri, T., Nakashima, N. & Fujino, S., 11 26 2012, : : IEEE Antennas and Propagation Magazine. 54, 5, p. 186-195 10 p., 6348145.

研究成果: ジャーナルへの寄稿記事

31 引用 (Scopus)

Impact of GPU memory access patterns on FDTD

Livesey, M., Stack, J. F., Costen, F., Nanri, T., Nakashima, N. & Fujino, S., 12 10 2012, 2012 IEEE International Symposiumon Antennas and Propagation, APSURSI 2012 - Proceedings. 6348987. (IEEE Antennas and Propagation Society, AP-S International Symposium (Digest)).

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)