型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案
スポンサーリンク
概要
- 論文の詳細を見る
Javaのバイトコード検証に用いることが可能な,マシンコードの型付けの新しい手法を提案する.この手法は型変数を用いて事前条件・事後条件を表現し,命令の実行系列とは逆向きに解析する.これにより,各命令列が必要とする事前条件が明らかになり,解析時に発生するバックトラックを減らす.
- 2004-07-27
著者
-
五百蔵 重典
神奈川工科大学情報工学科
-
五百蔵 重典
神奈川工科大学 情報工学科
-
野木 兼六
(株)日立製作所システム開発研究所
-
野木 兼六
日立製作所基礎研究所
-
野木 兼六
神奈川工科大学情報学部情報工学科
-
五百蔵 重典
神奈川工科大
関連論文
- GPS携帯を用いた場所にリンクした情報共有システムの設計と基本評価(セッション携帯端末/センターネット)
- F-013 AIBOによる室内確認システムの検討(F分野:人工知能・ゲーム)
- B-20-27 ウェアラブル加速度センサを用いた操作動作の開始判断手法(B-20.ユビキタス・センサネットワーク,一般セッション)
- D-12-54 加速度センサを用いたローマ字による日本語文字入力方法の提案(D-12.パターン認識・メディア理解,一般セッション)
- B-20-55 超音波測位システムにおける同期誤差の測定と評価(B-20.ユビキタス・センサネットワーク,一般セッション)
- B-20-54 超音波を用いた位置検出における同期誤差シミュレーション(B-20.ユビキタス・センサネットワーク,一般セッション)
- B-20-26 加速度センサを用いた動作認識における認識前処理の効果の検討(B-20.ユビキタス・センサネットワーク,一般セッション)
- B-3-1 逆GPS法を用いた屋内測位システムの基本実験(B-3.衛星通信,一般セッション)
- B-20-10 曖昧さを持つ動作の認識率向上に関する一検討 : 動作認識による周辺機器の操作性向上を目的として(B-20.ユビキタス・センサネットワーク,一般セッション)
- B-7-97 超音波を用いた広域屋内位置特定法に関する基本検討(B-7.情報ネットワーク,一般セッション)
- B-20-44 ウェアラブル加速度センサを用いた周辺機器操作の基本検討(B-20.ユビキタス・センサネットワーク,一般セッション)
- B-20-45 3軸加速度センサを用いた動作認識に関する基本検討(B-20.ユビキタス・センサネットワーク,一般セッション)
- GPS情報を利用した知的環境構成の一実証 : モバイルネットワークと家電ネットワークを統合したエアコン制御を例として(無線分散ネットワーク(WDN)特集セッション及び一般講演)
- プレゼンス情報取得プラットフォームの構築と基本評価--研究・教育活動のための基盤としての活用に向けて (ITを活用した教材や手法の開発/実践)
- B-20-36 遮蔽によるアクティブRFIDの受信強度変化を利用した状態検知方式(B-20. ユビキタス・センサネットワーク,一般セッション)
- ET2009-119 携帯電話を用いたリアルタイム授業支援システムの開発(障害者教育・特別支援教育/一般)
- 地上網と衛星システムを用いた情報収集・共有システムの提案と基本実験(衛星応用技術及び一般)
- アクティブタグを用いた群衆の嗜好に応じた広告情報提示法に関する一検討(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 超音波を用いた屋内測位システムにおける広域化と複数対象識別法の検討と実証
- ウェアラブル加速度センサを用いた動作認識による周辺機器操作のアーキテクチャの提案と実証(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- パネル討論会 : 要求技術の目指すべき方向
- B-20-33 Android端末を用いた遠隔操作アーキテクチャの提案(B-20.ユビキタス・センサネットワーク,一般セッション)
- 検証を考慮した仕様記述の指針に関する研究
- 検証を考慮した仕様記述の指針に関する研究
- B-20-1 超音波を用いた屋内測位システムにおける複数対象測位法の検討(B-20.ユビキタス・センサネットワーク,一般セッション)
- M-054 超音波を用いた屋内測位システムにおける測位誤差要因とその評価(M分野:ユビキタス・モバイルコンピューティング,一般論文)
- M-026 超音波測位システム開発のための測位誤差シミュレーション(ユビキタス・モバイルコンピューティング,一般論文)
- 段階的詳細化, データ抽象化を支援する言語SPLのコンパイル技法
- 型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案
- 世代管理を保守的に行う世代別GCアルゴリズムの提案およびRubyへの実装と評価
- AGENT : 機能テストのためのテスト項目作成の一手法
- ソフトウェアテスト項目作成支援システム (ソフトウェア生産技術) -- (ソフトウェア生産技術と支援ツ-ル)
- B-7-98 キャッシュするデータをファイル種別で選別するキャッシュ方式の提案(B-7. 情報ネットワーク,一般セッション)
- B-20-7 FPGAを用いた超音波測位システムの広域化に関する検討(B-20.ユビキタス・センサネットワーク,一般セッション)
- B-20-6 超音波測位システムの屋内歩行者向けナビゲーションへの適用に関する検討(B-20.ユビキタス・センサネットワーク,一般セッション)
- IC旅券等のIC身分証明書を利用した仮想会員証運用システムの提案(セッション5: グループウェアアプリケーション)
- IC旅券等のIC身分証明書を利用した仮想会員証運用システムの提案(セッション5: グループウェアアプリケーション)
- IC旅券等のIC身分証明書を利用した仮想会員証運用システムの提案
- D-9-17 ケータイを利用した防犯情報共有システムの検討 : 厚木市森の里四丁目/地域の目・防犯ネットワークの構成(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- A-15-19 まばたきによる筋電位変化を用いた入力インタフェースの検討(A-15.ヒューマン情報処理,一般セッション)
- Android端末を用いた遠隔操作・モニタリングアーキテクチャの提案と実証(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- Android端末を用いた遠隔操作・モニタリングアーキテクチャの提案と実証(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- C-022 H8マイクロコンピュータを用いたバッテリーアナライザの試作(C分野:アーキテクチャ・ハードウェア)
- A-016 変数宣言機能を付与したRuby処理系の作成(A分野:モデル・アルゴリズム・プログラミング)
- 集合論プログラミング
- 最適化に基づくアルゴリズムの発見
- ソーティングアルゴリズムの新しい分類
- 構造帰納法に基づくアルゴリズムの発見
- 一般部分計算法 (プログラム合成/変換)
- 要求定義技術の最近の動向
- ソフトウェア開発支援システム(CASDシステム) (ソフトウェア生産技術) -- (ソフトウェア生産技術)
- ソフトウェア構造設計技法 (ソフトウェア生産技術) -- (ソフトウェア生産技術)
- 要求定義技術の動土向(ソフトウェアツール 1 : 段計・記述)
- ケータイを用いたリアルタイム授業支援システム(Q-Vote)の運用評価とシステム拡張(エンタテインメントを活用した学習環境/一般)
- B-19-18 Android端末内蔵加速度センサを用いた入力インタフェースの一検討(B-19. ユビキタス・センサネットワーク,一般セッション)
- B-19-38 超音波測位システムと加速度センサを用いた屋内歩行者ナビゲーションシステムの基本検討(B-19. ユビキタス・センサネットワーク,一般セッション)
- B-19-14 超音波屋内測位システムにおける方位情報取得方法の検討(B-19. ユビキタス・センサネットワーク,一般セッション)
- A-15-23 筋電位変化を用いた操作対象機器の選択方法の提案と実証(A-15.ヒューマン情報処理,一般セッション)
- スマートフォン内蔵センサを用いた歩行位置推定に関する基本実験と評価
- QRコードによるナビゲーションシステムのスマートフォンを用いた実装
- スマートフォン内蔵センサを用いた歩行位置推定に関する基本実験と評価
- QRコードによるナビゲーションシステムのスマートフォンを用いた実装
- Android端末を用いた空中文字描画によるユーザインタフェースとその応用(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- 慣性センサを用いた歩行者の屋内位置推定方法に関する基本実験と評価(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- 超音波センサを用いた広域屋内測位システムの構成と検証実験
- Android 端末を用いた空中文字描画によるユーザインタフェースとその応用
- 慣性センサを用いた歩行者の屋内位置推定方法に関する基本実験と評価
- B-19-22 Android端末の音声認識を用いた家電操作方法の検討(B-19.ユビキタス・センサネットワーク,一般セッション)
- A-17-5 スマートフォンを用いた歩行者の屋内位置推定に関する基本実験と評価(A-17.ITS,一般セッション)
- B-19-21 Android端末操作のためのまばたきによる筋電位変化と判定方法の検討(B-19.ユビキタス・センサネットワーク,一般セッション)
- スマートフォンを用いた家電操作プラットフォームの提案と基本実証 : ネットワークリモートコントロールユニットの設計と開発(一般,有線/無線シームレスネットワーク,ハンドオーバ,リレー,分散,MIMO,モバイル・アドホックネットワーク,ユビキタス・センサネットワーク,一般)
- M-017 まばたきによる筋電位変化を用いた機器操作方法の提案と実証(機器操作,M分野:ビキタス・モバイルコンピューティング)
- RM-004 通信も地図情報も不要なナビゲーションシステムの蔵書検索システムへの適用(地理情報とナビゲーションシステム,M分野:ビキタス・モバイルコンピューティング)
- 気圧情報を利用した在階推定方法の提案と評価実験
- 超音波測位システムにおけるセンサ取付誤差に関する考察と検討
- D-7-7 まばたき検知のための閾値設定手法の提案と評価(D-7.MEとバイオサイバネティックスB)
- A-19-17 頭部の傾きによる重力加速度の変化を利用したマウスカーソルの制御方法の評価(A-19.福祉情報工学)
- A-17-11 Serverを用いた屋内測位基盤iのための地図情報表示システムの構築(A-17.ITS)
- B-19-45 スマートフォン内蔵ジャイロセンサを用いた曲がり検出手法の提案と評価(B-19.ユビキタス・センサネットワーク)
- B-19-32 Android端末の音声認識を用いた家電操作法の検討と評価(B-19.ユビキタス・センサネットワーク)
- ズマートフォンを用いた家電操作プラットフォームの提案と基本実証 : ネットワークリモートコントロールユニットの設計と開発
- D-9-24 厚木市内でのケータイを利用した防犯情報共有システムの運用状況(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)