東野 輝夫 | 大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
スポンサーリンク
概要
関連著者
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
東野 輝夫
大阪大学大学院情報科学研究科
-
山口 弘純
大阪大学大学院情報科学研究科
-
梅津 高朗
大阪大学大学院情報科学研究科
-
中田 明夫
大阪大学大学院情報科学研究科
-
中田 明夫
広島市立大学大学院情報科学研究科
-
安本 慶一
奈良先端科学技術大学院大学情報科学研究科
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
山口 弘純
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
廣森 聡仁
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
東野 輝夫
大阪大学 大学院情報科学研究科
-
谷口 健一
大阪大学大学院情報科学研究科
-
木谷 友哉
静岡大学 若手グローバル研究リーダー育成拠点
-
中田 明夫
広島市立大学情報科学研究科
-
谷本 匡亮
大阪大学大学院情報科学研究科
-
内山 彰
大阪大学大学院情報科学研究科
-
岡野 浩三
大阪大学基礎工学部情報科学科
-
木谷 友哉
奈良先端科学技術大学院大学情報科学研究科
-
山口 弘純
大阪大学 大学院情報科学研究科
-
木谷 友哉
静岡大学若手グローバル研究リーダー育成拠点
-
田島 滋人
大阪大学大学院基礎工学研究科
-
岡野 浩三
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学 基礎工学部
-
森 駿介
大阪大学大学院情報科学研究科
-
前田 久美子
大阪大学大学院情報科学研究科
-
柴田 直樹
大阪大学大学院基礎工学研究科情報数理系専攻
-
木山 昇
大阪大学大学院情報科学研究科
-
山口 聖二
大阪大学大学院情報科学研究科
-
武内 良典
大阪大学 大学院情報科学研究科
-
今井 正治
大阪大学 大学院情報科学研究科
-
田中 裕
順天堂大学浦安病院救急診療科
-
舩曵 信生
岡山大学工学部通信ネットワーク工学科
-
齋藤 正史
大阪大学大学院情報科学研究科
-
斎藤 正史
三菱電機株式会社情報技術総合研究所
-
齋藤 正史
三菱電機株式会社
-
中田 明夫
広島市立大学 大学院情報科学研究科
-
森岡 澄夫
大阪大学基礎工学部情報学科
-
田中 裕
順天堂大学医学部|独立行政法人科学技術振興機構 Crest
-
坂主 圭史
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
齊藤 正史
三菱電機(株) 情報電子研究所
-
大出 靖将
順天堂大学浦安病院救急診療科
-
塚本 淳
大阪大学大学院情報科学研究科
-
藤田 裕久
大阪大学大学院情報科学研究科
-
濱田 雅彦
大阪大学大学院情報科学研究科
-
楠田 純子
大阪大学大学院情報科学研究科
-
藤井 彩恵
大阪大学大学院情報科学研究科
-
舩曳 信生
岡山大学工学部
-
服部 哲
神奈川工科大学情報学部
-
服部 哲
北陸先端科学技術大学院大学情報科学研究科
-
今井 正治
大阪大学
-
村井 渉
大阪大学大学院情報科学研究科
-
武内 良典
大阪大学大学院情報科学研究科
-
坂手 寛治
大阪大学大学院基礎工学研究科情報数理系専攻:株式会社三菱電機
-
小西 一樹
大阪大学大学院情報科学研究科
-
林 大輔
大阪大学基礎工学部
-
伊藤 実
奈良先端科学技術大学院大学情報科学研究科
-
今井 正治
大阪大学大学院情報科学研究科
-
坂主 圭史
大阪大学大学院情報科学研究科
-
今村 多一郎
大阪大学大学院情報科学研究科
-
岡本 潤也
大阪大学大学院情報科学研究科
-
稗田 拓路
大阪大学大学院情報科学研究科
-
池田 和史
大阪大学大学院情報科学研究科
-
梅津 高朗
大阪大学 大学院情報科学研究科
-
北道 淳司
大阪大学大学院基礎工学研究科
-
岡野 浩三
大阪大学 大学院情報科学研究科
-
木谷 友哉
大阪大学大学院情報科学研究科情報ネットワーク学専攻
-
高本 佳史
大阪大学大学院情報科学研究科情報ネットワーク学専攻
-
村中 慎治
大阪大学大学院情報科学研究科
-
今城 広志
大阪大学基礎工学部情報工学科
-
田中 裕
順天堂大学医学部
-
佐々木 俊
大阪大学大学院情報科学研究科
-
山本 亮
大阪大学大学院基礎工学研究科情報数理系専攻
-
森 悦秀
大阪大学歯学部口腔外科学第二講座
-
今井 正治
豊橋技術科学大学
-
今井 正治
大阪大学 大学院 基礎工学研究科
-
森 悦秀
山口大学医学部歯科口腔外科学講座
-
Baduge Thilmee
大阪大学 大学院情報科学研究科
-
船井 麻祐子
大阪大学大学院情報科学研究科
-
森 悦秀
山口大学 大学院医学系研究科上皮情報解析医科学講座歯科口腔外科学分野
-
中村 嘉隆
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構,CREST
-
寺内 隆志
奈良先端科学技術大学院大学情報科学研究科
-
横平 徳美
岡山大学工学部情報工学科
-
横川 勇仁
大阪大学大学院情報科学研究科
-
稲垣 彰祐
大阪大学大学院情報科学研究科
-
船曳 信生
岡山大学工学部
-
横平 徳美
岡山大学工学部
-
横平 徳美
岡山大学工学部通信ネットワーク工学科
-
舩曵 信生
岡山大学大学院自然科学研究科
-
柴田 直樹
滋賀大学経済学部情報管理学科
-
中西 透
岡山大学工学部
-
池田 和史
大阪大学 大学院情報科学研究科
-
桐村 昌行
三菱電機株式会社情報技術総合研究所
-
北道 淳司
会津大学コンピュータ理工学部
-
水野 健太郎
大阪大学基礎工学部情報科学科
-
佐藤 秀則
大阪大学 大学院情報科学研究科
-
安本 慶一
滋賀大学経済学部情報管理学科
-
伊東 達雄
大阪大学基礎工学部情報工学科
-
舩曳 信生
大阪大学大学院基礎工学研究科情報数理系専攻
-
船曵 信生
岡山大学大学院自然科学研究科
-
船曳 信生
岡山大学工学部通信ネットワークエ学科
-
假家 直樹
大阪大学 大学院情報科学研究科
-
森 亮憲
大阪大学大学院基礎工学研究科
-
山田 朋弘
大阪大学歯学部口腔外科学第二講座
-
藤井 雅和
九州松下電器株式会社
-
中田 明夫
大阪大学基礎工学研究科情報数理系
-
柴田 直樹
滋賀大学情報管理学科
-
舩曳 信生
岡山大学工学部通信ネットワーク工学科
-
東野 輝夫
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
北道 淳司
大阪大学基礎工学部情報工学科
-
森岡 澄夫
日本電気システムIPコア研究所
-
服部 哲
大阪大学基礎工学部情報工学科
-
坂主 圭史
大阪大学 大学院情報科学研究科 情報システム工学専攻
-
星野 和義
日本大学生産工学部
-
相原 玲二
広島大学情報メディア教育研究センター
-
寺本 英二
(株)豊田中央研究所
-
楠本 真二
大阪大学大学院情報科学研究科
-
林 大輔
大阪大学大学院情報科学研究科
-
渡辺 健次
佐賀大学総合情報基盤センター
-
寺本 英二
株式会社豊田中央研究所
-
山井 成良
岡山大学総合情報処理センター
-
田坂 和之
KDDI研究所
-
洲崎 誠一
(株)日立製作所システム開発研究所
-
北岡 広宣
(株)豊田中央研究所
-
岡野 浩三
岡山大学大学院自然科学研究科
-
中山 雅哉
東京大学大学院 新領域創成科学研究科 基盤情報学専攻
-
中川 郁夫
(株)インテック・ネットコア
-
柴田 直樹
愛知学院大学歯学部 口腔治療学講座
-
北道 淳司
独立行政法人科学技術振興機構,CREST
-
二宮 清
ダイキン工業(株)
-
星野 和義
日大
-
北道 淳司
会津大学大学院コンピュータ理工学研究科
-
柴田 直樹
滋賀大学:独立行政法人科学技術振興機構 Crest
-
大田 雄也
大阪大学基礎工学部情報科学科
-
森 駿介
大阪大学基礎工学部情報科学科
-
森 將豪
滋賀大学経済学部情報管理学科
-
新川 崇
奈良先端科学技術大学院大学情報科学研究科
-
北岡 広宣
(株)豊田中央研究所 安全・情報システム研究部
-
北岡 広宣
豊田中央研究所
-
寺本 英二
豊田中央研究所
-
洲崎 誠一
横浜国立大学大学院環境情報学府
-
松浦 敏雄
大阪市立大学大学院創造都市研究科
-
上野 瑛次郎
大阪大学大学院情報科学研究科
-
北道 淳司
独立行政法人科学技術振興機構 Crest:会津大学大学院コンピュータ理工学研究科
-
一井 信吾
東京大学大学院数理科学研究所
-
藤崎 智宏
NTT情報流通プラットフォーム研究所
-
山井 成良
岡山大学 総合情報処理センター
-
鍛 忠司
日立製作所システム開発研究所
-
田坂 和之
Kddi研究所ユビキタスネットワークグループ
-
寺本 英二
株式会杜豊田中央研究所
-
新田 直子
大阪大学大学院工学研究科
-
樋地 正浩
東北大学会計大学院
-
林 英輔
麗澤大学国際経済学部
-
中川 郁夫
インテック・ネットコア
-
洲崎 誠一
(株)日立製作所 システム開発研究所
-
新田 直子
大阪大学大学院基礎工学研究科情報数理系専攻
-
鍛 忠司
(株)日立製作所 システム開発研究所
-
藤城 孝宏
(株)日立製作所 システム開発研究所
-
川井 恵理
(株)日立製作所 ネットワークソリューション事業部
-
星野 和義
(株)日立製作所 ネットワークソリューション事業部
-
中西 一宏
大阪大学大学院情報科学研究科情報ネットワーク学専攻
-
大森 正也
大阪大学大学院情報科学研究科情報ネットワーク学専攻
-
南本 真一
大阪大学大学院情報科学研究科
-
樋口 雄大
大阪大学大学院情報科学研究科
-
廣森聡仁
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構,CREST
-
大出靖将
順天堂大学医学部|独立行政法人科学技術振興機構,CREST
-
加藤 良司
大阪大学 基礎工学部
-
森 将豪
滋賀大学
-
松浦 敏雄
大阪大学基礎工学部情報工学科
-
中山 雅哉
東京大学 大型計算機センター
-
小田 政志
大阪大学大学院情報科学研究科
-
関岡 哲也
大阪大学大学院基礎工学研究科情報数理系専攻
-
谷口 健一
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
嵩 忠雄
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
箱崎 勝也
電気通信大学
-
富樫 祐二
大阪大学大学院情報科学研究科
-
松浦 敏雄
大阪市立大学
-
東野 輝夫
大阪大学
-
渡辺 健次
佐賀大学
-
竹中 崇
大阪大学大学院基礎工学研究科情報数理系専攻
-
船曳 信生
大阪大学基礎工学部
-
舩曳 信生
岡山大学大学院自然科学研究科電子情報システム工学専攻
-
井須 久美子
大阪大学大学院情報科学研究科
-
藤木 健之
大阪大学大学院情報科学研究科
-
中 伊佐雄
大阪成蹊短期大学
-
伊東 達雄
大阪大学 基礎工学部 情報工学科
-
中田 明夫
大阪大学 基礎工学部 情報工学科
-
斎藤 正史
大阪大学大学院情報科学研究科
-
竹中 崇
大阪大学大学院情報科学研究科:(現)necマルチメデイア研究所
-
星野 和義
日本大学
-
森 将豪
滋賀大学経済学部情報管理学科
-
中田 圭佑
大阪大学大学院情報科学研究科
-
菊池 豊
高知工科大学 地域連携機構
-
藤崎 智宏
Ntt
-
坂手 寛治
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
佐藤 友哉
大阪大学大学院基礎工学研究科
-
橋本 英明
大阪大学情報科学研究科
-
中山 雅哉
東京大学:(独)情報通信研究機構
-
樋地 正浩
日立東北ソフトウェア(株)
-
中村 眞
シャープ株式会社
著作論文
- 災害現場でセンシングされた生体情報を集約する無線センサーネットワークの構成法(モバイルコンピューティング、モバイルアプリケーション、ユビキタス通信、モバイルマルチメディア通信)
- ネットワークオンチップにおける回路面積と配線コストを考慮したチップ内通信構造最適化の一手法(コンピュータシステムの設計・検証及び一般,デザインガイア2007-VLSI設計の新しい大地を考える研究会)
- アドホック通信に基づく行先経路の道路情報取得プロトコルの開発(セッション2,ITS情報処理・一般)
- アドホック通信に基づく行先経路の道路情報取得プロトコルの開発(セッション2)(ITS情報処理・一般)
- 詳細度の異なるモデルを用いた無線シミュレーションの高速化手法の提案(Work in Progress,ワイヤレス環境でのアプリケーション品質,P2P/アドホックネットワーク,画像符号化,ストリーム技術,信頼性,一般)
- 無線メッシュネットワークにおけるWDSクラスタ分割アルゴリズムの改善(無線ネットワーク)
- 災害医療支援ネットワークのための軽傷者用負傷者端末(システム設計,物理設計及び一般)
- 位置情報に基づくTDMプロトコルの提案(セッション1)
- 車車間通信を利用した信号機制御手法の提案
- 車車間通信を用いた危険車両の検出手法の提案(車車間通信技術,次世代社会基盤をもたらす高度交通システムとモバイル通信システム)
- メッセージフェリーと車車間通信を併用した渋滞情報収集システムの情報伝播効率の改善(車車間通信技術,次世代社会基盤をもたらす高度交通システムとモバイル通信システム)
- データ付時間オートマトンの双模倣等価性の記号的検証法
- MANETを用いた災害時における被災者の位置情報収集・追跡システムの提案(交通における計測・一般(電気系3学会ITS合同研究会))
- MANETを用いた災害時における被災者の位置情報収集・追跡システムの提案(交通における計測, 一般(電気系3学会ITS合同研究会))
- 1J-4 センサーネットワークの設計開発を支援するシミュレーション融合型テストベットの検討(情報爆発時代における情報提示・センサネット・P2P,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- アプリケーション層マルチキャストミドルウェアの実装とPlanetLab上での評価(セッション4 : オーバレイネットワーク)
- 無線メッシュネットワークのアクセスポイント間通信での優先度順リンク動作方式(トラヒックエンジニアリング,一般,トラヒック,NW評価,性能,リソース管理・制御,トラヒックエンジニアリング,NW信頼性・レジリエンシ,一般)
- 先行経路上の道路情報取得用アドホック通信プロトコルの開発(ITS)
- 目的地選択の公平性と指定されたノード密度分布を実現する移動モデルの提案(学生特別セッション,移動通信ワークショップ)
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法
- 部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法(VLSI設計技術とCAD)
- 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 並行周期EFSM群でモデル化されたQoSルータの高信頼性設計の一手法
- 並行周期EFSMに対するパラメトリックモデル検査手法(LAシンポジウム(計算機科学基礎理論ワークショップ)論文小特集)
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- 遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証
- 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
- 遷移の選択が状態訪問回数に依存する有限状態機械対からなる通信系に対する生存性検証システム
- 無線センサーネットワークを利用した電子トリアージシステムの実現(モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般)
- 無線センサーネットワークを利用した電子トリアージシステムの実現(学生特別セッション,モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般)
- 傷病者の自動監視を実現する電子トリアージシステム(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- NGNを活用したセキュア通信提供サービスの提案
- ノード群の相対位置関係に基づく位置推定アルゴリズムの評価手法
- 移動無線端末の位置情報と通信情報を用いた災害現場地図の自動生成
- 断続的に移動する無線端末群の位置推定
- 災害時救急救命支援に向けた電子トリアージシステムの設計開発
- 遭遇端末の位置情報と地理情報を併用した高精度な位置推定手法の提案と評価(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- 通信プロトコルのエラーリカバリ性自動検証の一方式
- Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価(画像処理,画像パターン認識)
- Deformable-Templateマッチング法による唇輪郭抽出法の改良としきい値自動調整アルゴリズムの提案
- 関数合成による唇輪郭抽出法の提案
- Deformable-Templateマッチング法による唇輪郭抽出法の改良と内眼角点を原点とする座標系表現法の提案
- アプリケーション層マルチキャストミドルウェアの実装とPlanetLab上での評価(セッション4 : オーバレイネットワーク)
- アプリケーション層マルチキャストミドルウェアの実装とPlanetLab上での評価(セッション4 : オーバレイネットワーク)
- An Algebraic Method For Verifying Progress Property of Communication Protocolos
- 都市街路における排気ガス量の削減を目的とする車車間通信を想定したリアルタイム信号制御手法の提案
- 計算負荷分散を考慮した近隣端末の分散型移動予測手法の提案
- センサネットワークアプリケーションの実装支援APIの実装と評価
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 遷移条件が状態訪問回数に依存する有限状態機械対からなる通信系の生存性検証
- グループワークを考慮した協調計算システムにおける動作プログラム群の生成と分散実行
- 遷移条件が状態訪問回数に依存する有限状態機械の生存性検証
- 先行道路情報取得プロトコルRMDPの設計と評価(ITS)
- 行先道路情報取得プロトコルRMDPの評価と車々間・路車間通信混在環境への適応(セッション7)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- 行先道路情報取得プロトコルRMDPの評価と車々間・路車間通信混在環境への適応(セッション7)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- アドホック通信に基づく行先経路の道路情報取得プロトコルの開発
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- 傷病者の自動監視を実現する電子トリアージシステム(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 災害現場の被災者や救援者の行動記述とそれを用いたネットワークシミュレーション環境の提案
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装
- 冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案
- 複数時間オートマトンによる仕様記述と検証
- 組合わせ幾何を用いた有理数プレスブルガー文真偽判定アルゴリズムにおける投影操作の高速化
- 時間ペトリネットの拡張モデルを用いたプロトコル合成
- 共有メモリ型並列計算機上での正則な項書換え系の一実装法
- Tarski算術における冠頭標準形の閉論理式の真偽判定アルゴリズムの提案
- 耐故障性のための多重化リソースを持つ分散システムの導出法
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例 (第54回全国大会 (平成9年前期 於 : 千葉工大) 大会優秀賞受賞論文 (11件)
- GUI制御部の記述と実現の一手法
- 時間ペトリネットモデルで記述されたサービス仕様からのプロトコル仕様の一合成法
- レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用 (コンカレント・コラボレーション技術論文小特集)
- 規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例
- 動作実行時刻に制約のある分散システムの全体仕様から各ノードの動作記述の自動導出
- 正則な項書換え系のマルチプロセッサ上での一実現法
- Modular Confluence of Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides
- レジスタ付き時間ペトリネットで記述された分散システムの時間制約付き全体仕様からその時間制約を満たす各ノードの動作記述の自動導出(並列・分散)
- レジスタ付き時間ペトリネットで記述された分散システムの時間制約付き全体仕様からその時間制約を満たす各ノードの動作記述の自動導出(並列・分散)
- あるスタイルに基づく順序機械型記述における詳細化の正しさの証明方法
- 関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明
- リンクの故障を考慮に入れた分散システムの動作仕様の自動導出
- ペトリネットモデルを用いたソフトウェアプロセスの記述とその分散実行制御
- レジスタを持つ自由選択ネットで記述された分散システムの要求仕様から各ノードの動作仕様の導出
- 協調計算システムの動作仕様群の分散実行系
- ASLプログラム開発システムにおける検証の自動化について
- 拡張有限状態機械で記述された協調計算プログラムとその実行系
- 順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
- 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出
- 部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム)
- 代数的言語ASLを用いた酒屋在庫管理の要求仕様記述
- 無線メッシュネットワークにおけるリンク動作率による固定待機時間切り替え方式の提案 (ネットワークシステム)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法
- 無線端末の遭遇履歴情報を用いた移動軌跡推定手法の提案
- 多人数参加型アプリケーションにおける品質要求を考慮した帯域制御の一方式(マルチメディア通信と分散処理)
- 動画の品質劣化の許容度を考慮した帯域制御の一方式
- 帯域割譲交渉による動的帯域制御方式
- 品質要求を考慮した動的な帯域制御を行うプロトコルの提案とその性能評価
- ネットワークフローを分散制御するプログラム群の一合成法
- コンポーネント連携によるサービスをオーバレイネットワーク上で実現するためのサービス設計技法の提案(セッション8-B : ミドルウェア)
- コンポーネント連携によるサービスをオーバレイネットワーク上で実現するためのサービス設計技法の提案(セッション8-B : ミドルウェア)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般テスト)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用
- ノード間の位置関係に基づく推定位置精度の評価手法
- ノード障害に対する自律分散的回復を可能とするオーバレイ遅延最小木の構築アルゴリズム(セッション4:ミドルウェア)
- センサネットワークアプリケーションの実装支援APIの実装と評価
- 安定したストリーム配信を実現するオーバレイマルチキャストプロトコルの設計とPlanetLab上での実証実験
- ワイヤレスデバイスとレーザレンジスキャナを併用した移動体トラッキング(ホームネットワーク,ユビキタスネットワーク,クラウドコンピューティング,コンテキストアウェア,位置情報サービス,eコマース及び一般)
- センサネットワークアプリケーションの実装支援APIの実装と評価
- センサネットワークアプリケーションの実装支援APIの実装と評価
- 無線メッシュネットワークのWDSクラスタ分割問題
- 無線LANのWDSにおけるAP間通信へのリンクスケジューリングアルゴリズムの適用(有線/無線シームレスネットワーク, ネットワーク制御, 無線通信, モバイルネットワーキング, Mobile IP, 一般)
- 無線ネットワークにおける受信確率を考慮したリンクスケジューリングアルゴリズム(モバイルとインターネットの融合, 及び一般)
- 無線ネットワークにおける受信確率を考慮したリンクスケジューリングアルゴリズム(モバイルとインターネットの融合, 及び一般)
- 無線ネットワークにおける受信確率を考慮したリンクスケジューリングアルゴリズム(モバイルとインターネットの融合, 及び一般)
- 無線ネットワークのリンクスケジューリング問題に対するヒューリスティック解法の提案(無線・モバイルネットワーク)(ブロードバンドネットワークサービス)
- 静的及びモバイルマルチキャストルーチング問題に対する最適パス選択解法の提案
- 双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案
- ネットワークのリンクスケジューリングへのグラフ彩色アプローチ
- 無線通信網のリンクスケジューリング問題に対する二段階近似解法の提案
- B-15-20 アドホック通信を用いた歩行者密度の推定法(B-15.モバイルマルチメディア通信,一般セッション)
- パラメタ付き時間インターバルオートマトンに対するパラメトリック検証の高速化手法 (計算機科学基礎理論とその応用)
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- システム設計レベルにおける回路の性質検証のための整数データを処理可能なCTLモデル検査法の提案と実装
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)
- 安全な多重帰属制御を実現するVPN分散管理プロトコルの提案(ネットワークプロトコル,シームレスコンピューティングとその応用技術)
- 通信履歴と地理情報を併用した無線端末の移動軌跡推定(モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- メッシュ型物理トポロジのマルチホップWDMネットワークでの階層型コーダルリングネットワーク構築法の検討(次世代ネットワーク,SIP・プレゼンス,一般)
- 「次世代のインターネット/分散システムの構築・運用技術」の編集にあたって
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- in-order実行パイプラインCPUの正しさの自動証明例
- 静的マルチキャストルーティング問題に対する最適パス選択解法の提案
- 渋滞緩和を目的とした車車間通信による混雑状況の伝播方式(交通における計測・一般(電気系3学会ITS合同研究会))
- 渋滞緩和を目的とした車車間通信による混雑状況の伝播方式(交通における計測, 一般(電気系3学会ITS合同研究会))
- 車車間通信を用いた渋滞解消ナビゲーションシステムの提案(セッション1-A : アドホックネットワーク)
- 車車間通信を用いた渋滞解消ナビゲーションシステムの提案(セッション1-A : アドホックネットワーク)
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- 現実的なシミュレーションシナリオが記述可能な無線ネットワークシミュレータMobiREAL(ネットワーク品質・制御, ブロードバンド・ユビキタス・ネットワークとその応用)
- MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- 携帯端末の現実的な移動モデルを表現可能なネットワークシミュレータの設計と実装(マルチメディアアプリケーション)
- 携帯端末の現実的な移動モデルを表現可能なネットワークシミュレータの設計と実装(マルチメディアアプリケーション)
- データ付時間オートマトンの双模倣等価性の記号的検証法
- 近隣ノードの移動履歴情報を用いた位置推定手法の現実的環境における評価(奨励講演,モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信)
- 近隣ノードの移動履歴情報を用いた位置推定手法の現実的環境における評価(モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信)
- 都市部における無線端末の移動特性を利用した情報共有方式(ユビキタス・モバイルアプリケーション,次世代社会基盤をもたらす高度交通システムとモバイル通信システム)
- アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装
- 分散協調型無線センサノード群の実行コード自動生成
- 分散協調型無線センサノード群の実行コード自動生成
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 2ZP-7 無線センサノード群による監視動作を実現するノードプログラムの自動生成(情報爆発時代における分散処理と運用技術,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- ワイヤレスセンサネットワークの設計開発支援環境D-sense
- (分散システム運用・管理)高速ネットワーク向けネットワークモニタ回路の設計と実装(オブジェクト指向技術)
- 同期通信可能な周期EFSM群のハードウェア構成法
- 現実的モビリティを考慮した災害時における情報収集法(セッション3)
- 双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案
- 時刻により変化する都市歩行流を再現するモビリティモデルの提案と評価
- 少数の基準位置情報を移動無線端末間で補完する位置推定手法の提案と評価(モバイルコンピューティング,インタラクションの理解とデザイン)
- ネットワークシミュレータMobiREALを用いたモバイルアドホックネットワークシステムの開発環境(アドホックネットワーク,マルチメディア,分散,協調とモバイル(DICOMO2006))
- LP手法を用いた都市歩行者モビリティモデルの形成(交通における計測・一般(電気系3学会ITS合同研究会))