Jump to main content

yr 〜
yr

Search results 12

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
Paper図書
関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2006-2007<Y151-H18500023>
National Diet Library
  • Subject Heading形式的検証 / モデル検査 / 静的解析 / 形式言語 / アクセス制御 / XML / セキュリティ / 実行履歴

開発早期におけるソフトウェア機能規模見積に関する研究

開発早期におけるソフトウェア機能規模見積に関する研究
Paper図書
楠本真二, 大阪大学 [著][楠本真二]2005-2007<Y151-H17500022>
National Diet Library
  • Subject Heading規模見積 / ファンクションポイント / Webアプリケーション / オブジェクト指向プログラム / 実行履歴

アクティブソフトウェアの設計検証手法に関する研究

アクティブソフトウェアの設計検証手法に関する研究
Paper図書
関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2004-2005<Y151-H16500019>
National Diet Library
  • Subject Heading形式的検証 / モデル検査 / アクティブソフトウェア / アクセス制御 / 静的解析 / 実行履歴 / 形式言語 / セキュリティポリシー

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

多様なアプリケーションのための実行履歴を扱うソフトウェア基盤の研究開発
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実行履歴 プログラム解析 ソフトウェアデバッグ
  • Note (General)金沢大学理工研究域電子情報通信学系 本研究では、プログラムの実行履歴を記録し、活用する手法の開発と......元手法を提案し、さらに選択的に実行履歴を記録する実装を開発した。資源......特定する手法を開発した。また、実行履歴とプログラムの解析による自動的なバグ発見手法について、実際に...

言語組込みアクセス制御の高信頼化に関する研究 : 平成20年度-22年度研究成果報告書

言語組込みアクセス制御の高信頼化に関する研究 : 平成20年度-22年度研究成果報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2011
Available onlineOther Libraries in Japan
  • Subject Headingアクセス制御 情報流解析 セキュリティ 実行履歴 スタック検査 自動生成 静的解析

言語組込みアクセス制御の高信頼化に関する研究 : 平成22年度実績報告書

言語組込みアクセス制御の高信頼化に関する研究 : 平成22年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2011
Available onlineOther Libraries in Japan
  • Subject Headingアクセス制御 情報流解析 セキュリティ 実行履歴 スタック検査 自動生成 静的解析

言語組込みアクセス制御の高信頼化に関する研究

言語組込みアクセス制御の高信頼化に関する研究
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2009
Available onlineOther Libraries in Japan
  • Subject Headingアクセス制御 情報流解析 セキュリティ 実行履歴 スタック検査 自動生成 静的解析

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成19年度実績報告書

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成19年度実績報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2008
Available onlineOther Libraries in Japan
  • Subject Heading形式的検証 モデル検査 静的解析 形式言語 アクセス制御 セキュリティ 実行履歴 XML

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度-19年度研究成果報告書

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 : 平成18年度-19年度研究成果報告書
Digital文書・図像類
関, 浩之奈良先端科学技術大学院大学2008
Available onlineOther Libraries in Japan
  • Subject Heading形式的検証 モデル検査 静的解析 形式言語 アクセス制御 セキュリティ 実行履歴 XML

低消費電力メディア・アプリケーション向けヒストリ・ベース・タグ比較キャッシュの評価

低消費電力メディア・アプリケーション向けヒストリ・ベース・タグ比較キャッシュの評価
Digital文書・図像類
井上, 弘士, Moshnyaga, Vasily G., 村上, 和彰電子情報通信学会CPSY研究会2002-04電子情報通信学会技術研究報告, CPSY2002-1-11102 27p.55-60
Available onlineOther Libraries in Japan
  • Summary, etc.... キャッシュでは，プログラムの実行履歴に基づ き必要に応じてタグ比較を行う．そして，無駄なタグ比較...
  • Subject Heading低消費電力 キャッシュ タグ比較 実行履歴 動的最適化 再利用 low power cache tag...

タグ比較結果の再利用によるキャッシュメモリの低消費電力化

タグ比較結果の再利用によるキャッシュメモリの低消費電力化
Digital文書・図像類
井上, 弘士, Moshnyaga G., Vasily, 村上, 和彰電子情報通信学会CPSY研究会2001-11電子情報通信学会技術研究報告, CPSY2001-61-74101 473p.49-54
Available onlineOther Libraries in Japan
  • Subject Heading低消費電力 キャッシュ タグ比較 実行履歴 動的最適化 再利用 low power cache tag...

実行履歴に基づいた低電力命令キャッシュ向けタグ比較回数削減手法

実行履歴に基づいた低電力命令キャッシュ向けタグ比較回数削減手法
Digital文書・図像類
井上, 弘士, 村上, 和彰情報処理学会2000-11-29情報処理学会研究報告. 計算機アーキテクチャ研究会報告2000 110p.25-30
Available onlineOther Libraries in Japan
  • Summary, etc....較方式を提案する.プログラムの実行履歴に基づき, 必要に応じてタグ比較を行うことで, キャッシュ・...
  • Subject Heading低消費電力 キャッシュ タグ比較 実行履歴 動的最適化 low power cache tag com...

Reached to the end of result.

RSS