研究成果

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)
3 引用 (Scopus)

A computer-assisted method for the diblock copolymer model

Cai, S. & Watanabe, Y., 7 2019, : : ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik. 99, 7, e201800125.

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

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).

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

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).

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

An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces

Kinoshita, T., Watanabe, Y. & Nakao, M. T., 4 15 2019, : : Journal of Differential Equations. 266, 9, p. 5431-5447 17 p.

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

1 引用 (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., 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)

Analysis of storage workloads of input-output access locality and designing of hybrid storage system

Oe, K., Nanri, T. & Okamura, K., 8 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Hiramatsu, A., Matsuo, T., Kanzaki, A. & Komoda, N. (版). Institute of Electrical and Electronics Engineers Inc., p. 971-974 4 p. 7557753

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

5 引用 (Scopus)

Analysis of the quality of academic papers by the words in abstracts

Nakatoh, T., Nagatani, K., Minami, T., Hirokawa, S., Nanri, T. & Funamori, M., 1 1 2017, Human Interface and the Management of Information: Supporting Learning, Decision-Making and Collaboration - 19th International Conference, HCI International 2017, Proceedings. Yamamoto, S. (版). Springer Verlag, p. 434-443 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10274 LNCS).

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

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)
1 引用 (Scopus)
1 引用 (Scopus)

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 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)
4 引用 (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.

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

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 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)

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)

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).

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

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)

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

Watanabe, Y., Kinoshita, T. & Nakao, M. T., 5 30 2013, : : Mathematics of Computation. 82, 283, p. 1543-1557 15 p.

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

9 引用 (Scopus)

Application of cross-reference framework CoToCoA to Macro- and micro-scale simulations of planetary magnetospheres

Fukazawa, K., Katoh, Y., Nanri, T. & Miyake, Y., 11 2019, Proceedings - 2019 7th International Symposium on Computing and Networking Workshops, CANDARW 2019. Institute of Electrical and Electronics Engineers Inc., p. 121-124 4 p. 8951598. (Proceedings - 2019 7th International Symposium on Computing and Networking Workshops, CANDARW 2019).

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

Approaches for memory-efficient communication library and runtime communication optimization

Nanri, T., 12 6 2018, Advanced Software Technologies for Post-Peta Scale Computing: The Japanese Post-Peta CREST Research Project. Springer Singapore, p. 121-138 18 p.

研究成果: 著書/レポートタイプへの貢献

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)

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)
1 引用 (Scopus)

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).

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

Attribute-based quality classification of academic papers

Nakatoh, T., Hirokawa, S., Minami, T., Nanri, T. & Funamori, M., 6 1 2018, : : Artificial Life and Robotics. 23, 2, p. 235-240 6 p.

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

Automated Tiered Storage System Consisting of Memory and Flash Storage to Improve Response Time with Input-Output (IO) Concentration Workloads

Oe, K., Sato, M. & Nanri, T., 4 23 2018, Proceedings - 2017 5th International Symposium on Computing and Networking, CANDAR 2017. Institute of Electrical and Electronics Engineers Inc., p. 311-317 7 p. (Proceedings - 2017 5th International Symposium on Computing and Networking, CANDAR 2017; 巻数 2018-January).

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

2 引用 (Scopus)

Channel interface: A primitive model for memory efficient communication

Nanri, T., Soga, T., Ajima, Y., Morie, Y., Honda, H., Kobayashi, T., Takami, T. & Sumimoto, S., 1 1 2015, Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015. Lilius, J., Daneshtalab, M., Brorsson, M., Leppanen, V. & Aldinucci, M. (版). Institute of Electrical and Electronics Engineers Inc., p. 177-181 5 p. 7092717. (Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015).

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

3 引用 (Scopus)

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)

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)

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)

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)

Design of a Flexible In Situ Framework with a Temporal Buffer for Data Processing and Visualization of Time-Varying Datasets

Ono, K., Nonaka, J., Yoshikawa, H., Nanri, T., Morie, Y., Kawanabe, T. & Shoji, F., 1 25 2019, : : Lecture Notes in Computer Science. 11203, p. 243-257 15 p.

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

Design of a Flexible In Situ Framework with a Temporal Buffer for Data Processing and Visualization of Time-Varying Datasets

Ono, K., Nonaka, J., Yoshikawa, H., Nanri, T., Morie, Y., Kawanabe, T. & Shoji, F., 1 1 2018, High Performance Computing - ISC High Performance 2018 International Workshops, Revised Selected Papers. Weiland, M., Alam, S., Yokota, R. & Shalf, J. (版). Springer Verlag, p. 243-257 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11203 LNCS).

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

Design of an In Transit Framework with Staging Buffer for Flexible Data Processing and Visualization of Time-Varying Data

Ono, K., Nonaka, J., Morie, Y., Nanri, T. & Kawanabe, T., 6 28 2018. 12 p.

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

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)

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).

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

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).

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

Effective calculation with halo communication using halo functions

Fukazawa, K., Morie, Y., Takami, T., Nanri, T. & Soga, T., 9 25 2016, Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016. Association for Computing Machinery, p. 215-216 2 p. (ACM International Conference Proceeding Series; 巻数 25-28-September-2016).

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

1 引用 (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)

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).

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

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.

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

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).

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