Jump to main content

yr 〜
yr

Search results 7

ソフトウェアの安全性向上のための型理論

ソフトウェアの安全性向上のための型理論
Paper図書
小林直樹, 東北大学 [著][小林直樹]2005-2007<Y151-H17300003>
National Diet Library
  • Subject Heading型システム / プログラム解析 / 割り込み / 並行プログラム / 資源使用法解析 / ...

並行論理プログラミングに基づく広域分散計算パラダイムの構築

並行論理プログラミングに基づく広域分散計算パラダイムの構築
Paper図書
上田, 和紀, 早稲田大学1999-2001<Y151-H11680370>
National Diet Library
  • Subject Heading並行論理プログラミング GHC KL1 宣言型言語 広域分散計算 プログラム解析 計算資源

多様なアプリケーションのための実行履歴を扱うソフトウェア基盤の研究開発

多様なアプリケーションのための実行履歴を扱うソフトウェア基盤の研究開発
Digital文書・図像類
櫻井, 孝平, Sakurai, Kohei2017-06-05平成28(2016)年度 科学研究費補助金 若手研究(B) 研究成果報告書 = 2016 Fiscal Year Final Research Report2014-04-01 - 2017-03-31p.4p.-
Other Libraries in Japan
  • Subject Heading実行履歴 プログラム解析 ソフトウェアデバッグ

並行プログラムの従属性理論とその応用に関する基礎的研究

並行プログラムの従属性理論とその応用に関する基礎的研究
Paper図書
程, 京徳, 九州大学1992-1993<Y151-H04650319>
National Diet Library
  • Subject Heading並行プログラム プログラム従属性 プログラム解析 テスト デバツグ 複雑さ評価 保守

命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用

命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用
Paper図書
程, 京徳, 九州大学1994-1996<Y151-H06452394>
National Diet Library
  • Subject Heading命令型並行プログラム 宣言型並行プログラム プログラム従属性 プログラム解析 スライシング プログラム理解 デバツグ 複雑さ評価

トレース情報とプログラム解析による開発支援環境の研究開発

トレース情報とプログラム解析による開発支援環境の研究開発
Digital文書・図像類
櫻井, 孝平, Sakurai, Kohei金沢大学理工研究域電子情報通信学系2013-05-17平成24(2012)年度 科学研究費補助金 若手研究(B) 研究成果報告書 = 2012 Fiscal Year Final Research Report2011-2012p.4p.-
Other Libraries in Japan
  • Subject Headingソフトウェアデバッグ プログラム解析 プログラムトレース
  • Note (General)...出典：研究課題「トレース情報とプログラム解析による開発支援環境の研究開発」課題番号23700041（KA...

秘密隠蔽のための系統的ソフトウェア保護フレームワーク

秘密隠蔽のための系統的ソフトウェア保護フレームワーク
Digital博士論文
山内, 寛己奈良先端科学技術大学院大学2010-03-24
Other Libraries in Japan
  • Subject Headingソフトウェア難読化 プログラム解析 情報隠蔽 ゴール指向分析 ゴール分解

Reached to the end of result.

RSS