Jump to main content

yr 〜
yr

Search results 2

Combining Testing and Static Analysis to Overflow and Roundoff Error Detection

Combining Testing and Static Analysis to Overflow and Roundoff Error Detection
Digital文書・図像類
Do, Ngoc Thi Bich, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2010-06-21Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2010-004p.1-27
Other Libraries in Japan
  • Subject HeadingSoftware verification Static analysis Testing Round...

航空機による微小重力実験:物理現象シミュレーション技術検証のための対流・凝固実験

航空機による微小重力実験:物理現象シミュレーション技術検証のための対流・凝固実験
Digital文書・図像類
清水, 盛生, 楠瀬, 智宏, 加藤, 充康, 井村, 貞治, 中村, 裕彦, 羽生, 哲也, 亀井, 信一, 石川, 正道, Shimizu, Morio, Kusunose, Tomohiro, Kato, Mitsuyasu, Imura, Sadaji, Nakamura, Hirohiko, Hanyu, Tetsuya, Kamei, Shinichi, Ishikawa, Masamichi宇宙開発事業団1997-01-31宇宙開発事業団技術報告 = NASDA Technical Memorandump.34-46
Other Libraries in Japan
  • Subject Heading...ter simulation software verification convection solidification exp...

Reached to the end of result.

RSS