本文に飛ぶ

年 〜
年

検索結果 9 件

Static analysis : 20th international symposium, SAS 2013 : Seattle, WA, USA, June 20-22, 2013 : proceedings : Jun 2013, Seattle, WA. (Lecture Notes in Computer Science ; 7935. Advanced Research in Computing and Software Science)

Static analysis : 20th international symposium, SAS 2013 : Seattle, WA, USA, June 20-22, 2013 : proceedings : Jun 2013, Seattle, WA. (Lecture Notes in Computer Science ; 7935. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-3385>
国立国会図書館
  • 件名...)--Congresses. Static analysis SAS
  • 著者標目International Static Analysis Symposium (20th : 2013 : Seat...

静的プログラム解析に基づくオブジェクト指向プログラムからアスペクト指向プログラムへの変換改善手法

静的プログラム解析に基づくオブジェクト指向プログラムからアスペクト指向プログラムへの変換改善手法
デジタル博士論文障害者向け資料あり
王, 林2015-03
国立国会図書館
  • 件名...based pointcut Static analysis

Numerical simulation of agricultural tire-soil contact problem by 3D finite element method 農用トラクタ・タイヤと土の接触問題の3次元数値シミュレーション

Numerical simulation of agricultural tire-soil contact problem by 3D finite element method 農用トラクタ・タイヤと土の接触問題の3次元数値シミュレーション
紙図書
中嶋洋, 京都大学1991-1993<Y151-H03660260>
国立国会図書館
  • 件名...ontact Element Static Analysis

Producer Decision and Input Demand Theory : An Axiomatic Approach

Producer Decision and Input Demand Theory : An Axiomatic Approach
デジタル文書・図像類
Sakai, YasuhiroThe Institute for Economic and Business Research Faculty of Economics, Shiga University2023-05Discussion Paper, Series ENo. E-25p.1-43
全国の図書館
  • 件名producer decision comparative static analysis expansion effect inferior inp...

静的プログラム解析に基づくオブジェクト指向プログラムからアスペクト指向プログラムへの変換改善手法

静的プログラム解析に基づくオブジェクト指向プログラムからアスペクト指向プログラムへの変換改善手法
デジタル博士論文
王, 林2015-03
インターネットで読める全国の図書館
  • 件名...based pointcut Static analysis

Reversing Malicious Intents in Web Scripts: from Automating Deobfuscation to Assigning Concepts

Reversing Malicious Intents in Web Scripts: from Automating Deobfuscation to Assigning Concepts
デジタル博士論文
Blanc, GregoryNara Institute of Science and Technology2012-03-23
全国の図書館
  • 件名web 2.0 JavaScript malware obfuscation static analysis automated deduction

Combining Testing and Static Analysis to Overflow and Roundoff Error Detection

Combining Testing and Static Analysis to Overflow and Roundoff Error Detection
デジタル文書・図像類
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
全国の図書館
  • 件名Software verification Static analysis Testing Roundoff error Overfl...
  • 一般注記... combining the static analysis and testing. They arecomposed...

各咀噌筋筋力が顎関節負荷に与える影響 : 3次元剛体顎モデルを用いた数値シミュレーション

各咀噌筋筋力が顎関節負荷に与える影響 : 3次元剛体顎モデルを用いた数値シミュレーション
デジタル文書・図像類
阿部, 誠, 林, 豊彦, 中村, 康雄, 伊藤, 建一電子情報通信学会2002-03電子情報通信学会技術研究報告. MBE, MEとバイオサイバネティックス101 733p.61-66
全国の図書館
  • 件名...ing bite force static analysis masticatory muscles unilatera...

CASPERを用いた簡易航空機形態の空力・構造連成シミュレーション

CASPERを用いた簡易航空機形態の空力・構造連成シミュレーション
デジタル文書・図像類
石黒, 満津夫, 沖, 良篤, 酒田, 威志, 長畑, 正史, Ishiguro, Mitsuo, Oki, Yoshiatsu, Sakata, Takeshi, Nagahata, Masashi航空宇宙技術研究所2000-12航空宇宙技術研究所特別資料 = Special Publication of National Aerospace Laboratory46p.255-260
全国の図書館
  • 件名...ory structural static analysis load factor performance aircr...

検索結果は以上です。

RSS