共 50 条
- [1] Behavioral Non-portability in Scientific Numeric Computing [J]. EURO-PAR 2015: PARALLEL PROCESSING, 2015, 9233 : 558 - 569
- [2] Research of Testing for Scientific Computing Software in the Area of Nuclear Power Based on Metamorphic Testing [J]. PROCEEDINGS OF THE 20TH PACIFIC BASIN NUCLEAR CONFERENCE, VOL 1, 2017, : 501 - 512
- [7] Scientific software design through scientific computing patterns [J]. Proceedings of the Fourth IASTED International Conference on Modelling, Simulation, and Optimization, 2004, : 247 - 252
- [8] Lessons learned from improving portability and stability of two scientific software packages for current and towards exascale systems [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2019, 257
- [9] Assurance Cases for Scientific Computing Software [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 420 - 421
- [10] Testing for Trustworthiness in Scientific Software [J]. 2009 ICSE WORKSHOP ON SOFTWARE ENGINEERING FOR COMPUTATIONAL SCIENCE AND ENGINEERING, 2009, : 59 - +