Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2013.<M17-13-3385>
National Diet Library
  • Subject Heading...)--Congresses. Static analysis SAS
  • Author HeadingInternational Static Analysis Symposium (20th : 2013 : Seat...

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

静的プログラム解析に基づくオブジェクト指向プログラムからアスペクト指向プログラムへの変換改善手法
Digital博士論文障害者向け資料あり
王, 林2015-03
National Diet Library
  • Subject Heading...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次元数値シミュレーション
Paper図書
中嶋洋, 京都大学1991-1993<Y151-H03660260>
National Diet Library
  • Subject Heading...ontact Element Static Analysis

Producer Decision and Input Demand Theory : An Axiomatic Approach

Producer Decision and Input Demand Theory : An Axiomatic Approach
Digital文書・図像類
Sakai, YasuhiroThe Institute for Economic and Business Research Faculty of Economics, Shiga University2023-05Discussion Paper, Series ENo. E-25p.1-43
Other Libraries in Japan
  • Subject Headingproducer decision comparative static analysis expansion effect inferior inp...

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

静的プログラム解析に基づくオブジェクト指向プログラムからアスペクト指向プログラムへの変換改善手法
Digital博士論文
王, 林2015-03
Available onlineOther Libraries in Japan
  • Subject Heading...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
Digital博士論文
Blanc, GregoryNara Institute of Science and Technology2012-03-23
Other Libraries in Japan
  • Subject Headingweb 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
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 Roundoff error Overfl...
  • Note (General)... combining the static analysis and testing. They arecomposed...

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

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

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

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

Reached to the end of result.

RSS