検索結果 12 件
紙図書
国立国会図書館
- 件名形式的検証 / モデル検査 / 静的解析 / 形式言語 / アクセス制御 / XML / セキュリティ / 実行履歴
紙図書
国立国会図書館
- 件名形式的検証 / モデル検査 / アクティブソフトウェア / アクセス制御 / 静的解析 / 実行履歴 / 形式言語 / セキュリティポリシー
デジタル文書・図像類
全国の図書館
- 件名実行履歴 プログラム解析 ソフトウェアデバッグ
- 一般注記金沢大学理工研究域電子情報通信学系 本研究では、プログラムの実行履歴を記録し、活用する手法の開発と......元手法を提案し、さらに選択的に実行履歴を記録する実装を開発した。資源......特定する手法を開発した。また、実行履歴とプログラムの解析による自動的なバグ発見手法について、実際に...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名アクセス制御 情報流解析 セキュリティ 実行履歴 スタック検査 自動生成 静的解析
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名アクセス制御 情報流解析 セキュリティ 実行履歴 スタック検査 自動生成 静的解析
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名形式的検証 モデル検査 静的解析 形式言語 アクセス制御 セキュリティ 実行履歴 XML
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名形式的検証 モデル検査 静的解析 形式言語 アクセス制御 セキュリティ 実行履歴 XML
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名低消費電力 キャッシュ タグ比較 実行履歴 動的最適化 再利用 low power cache tag...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名低消費電力 キャッシュ タグ比較 実行履歴 動的最適化 再利用 low power cache tag...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名低消費電力 キャッシュ タグ比較 実行履歴 動的最適化 low power cache tag com...
検索結果は以上です。