スポンサーリンク
名古屋大学 大学院情報科学研究科 | 論文
- テストプログラム生成ツールのフロントエンドプロセッサの開発
- マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
- ハードウェアの振舞いを考慮したスピンロックのモデル検査
- ハードウェアの振舞いを考慮したスピンロックのモデル検査
- 重なりを持つTRSにおける最外戦略の完全性について
- ストリーム処理を用いた車々間通信データのフィルタリング方式
- A-15-17 無線LAN基地局の位置推定による体験記録マップの検討(A-15.ヒューマン情報処理,一般講演)
- 時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム
- オフセット付きCANメッセージの正確な最大遅れ時間解析
- D-15-20 講義の協調的キャプチャと自動構造化に関する研究(D-15. 教育工学, 情報・システム1)
- マルチプロセッサ対応システムレベル設計環境SystemBuilder-MP(ソフトウェアシステム)
- ミーティングにおけるメモの効率的活用と議事録テキストからの背景情報の検索
- ホワイトボードを用いた議論の構造化に基づく議論想起支援
- スティックスリップ音の不快要因 : ピーク周波数と包絡線
- 色覚異常のための代表色の分布に基づいた画像変換
- 栄養段階の制約に基づく食物網の進化に関する構成論的モデル
- 顔の非剛体変形に頑健な複数フレーム超解像の検討
- さまざまなコンテンツの再利用を可能にする知識活動支援システムとその応用
- トレースログ可視化ツール TraceLog Visualizer (TLV)
- 映像と論文のアノテーションに基づく論文読解支援