| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| VLD, ICD (共催) |
2008-03-05 13:00 |
沖縄 | 沖縄県男女共同参画センター | 積グラフ探索を利用した実用的なプロトコル変換器の自動合成と検証 ○石川悠司・小松 聡・藤田昌宏（東大）  VLD2007-137 ICD2007-160 |
[more] | VLD2007-137 ICD2007-160 pp.1-6 |
| VLD, ICD (共催) |
2008-03-06 15:05 |
沖縄 | 沖縄県男女共同参画センター | システムレベル設計言語に対するフォールスパスを考慮した性能評価 ○安藤大介・松本剛史・西原 佑・藤田昌宏（東大） VLD2007-152 ICD2007-175 |
近年の高度に複雑化したシステムLSIを設計する際には，設計の早い段階から最大遅延や最小遅延などのタイミング情報を解析する... [more] | VLD2007-152 ICD2007-175 pp.49-54 |
| SS | 2008-03-03 15:25 |
長崎 | 長崎大学 | 既存設計の再利用を考慮したSoCの仕様記述手法と上位設計方法論 ○李 蓮福・石川悠司・小島慶久・吉田浩章（東大）・余宮尚志（東芝）・小松 聡・藤田昌宏（東大） SS2007-66 |
[more] | SS2007-66 pp.55-60 |
| RECONF | 2007-09-21 10:00 |
滋賀 | 立命館大学びわこくさつキャンパス （滋賀） | IP再利用のための動的再構成可能プロトコル変換器合成手法 ○石川悠司・小松 聡・藤田昌宏（東大） RECONF2007-24 |
プロトコル変換器合成は、システムLSI 設計でのIP（設計資産）再利用における最も重要な問題の一つである。 我々は、こ... [more] |
RECONF2007-24 pp.53-58 |
| ICD, VLD (共催) |
2007-03-07 15:20 |
沖縄 | メルパルク沖縄 | システムレベル設計に対する拡張システム依存グラフを利用した記述チェッカ ○安藤大介・松本剛史・西原 佑・藤田昌宏（東大） |
システムLSIやSoCのシステムレベル設計において，バグを早期に発見し修正することが重要である．本稿では，代表的なシステ... [more] | VLD2006-112 ICD2006-203 pp.37-42 |
| ICD, VLD (共催) |
2007-03-07 15:40 |
沖縄 | メルパルク沖縄 | ハードウェア設計における設計資産の仕様記述およびその検証手法 ○石川悠司（東大）・SeongWoon Kang（サムスン）・李 蓮福（東大）・GiLark Park（サムスン）・渡邊翔太・瀬戸謙修・小松 聡（東大）・浜村博史（サムスン）・藤田昌宏（東大） |
[more] | VLD2006-113 ICD2006-204 pp.43-48 |
| ICD, VLD (共催) |
2007-03-07 16:00 |
沖縄 | メルパルク沖縄 | 設計再利用のためのIPライブラリ検索システム ○李 蓮福（東大）・GiLark Park（SAMSUNG）・石川悠司（東大）・SeongWoon Kang（SAMSUNG）・渡邊翔太・瀬戸謙修・小松 聡（東大）・浜村博史（SAMSUNG）・藤田昌宏（東大） |
[more] | VLD2006-114 ICD2006-205 pp.49-54 |
| VLD, DC, IPSJ-SLDM (共催) RECONF, CPSY, IPSJ-ARC (併催) [詳細] |
2006-11-29 14:30 |
福岡 | 北九州国際会議場 | ［特別講演］SATアルゴリズムとその形式的検証への応用 ○藤田昌宏（東大） |
[more] | VLD2006-67 DC2006-54 RECONF2006-39 pp.15-20 |
| VLD, IPSJ-SLDM (共催) |
2006-05-11 15:30 |
愛媛 | 愛媛大学 | メモリアクセスおよびリソース共有を行うカスタム命令自動生成手法 ○瀬戸謙修・藤田昌宏（東大） |
[more] | VLD2006-4 pp.19-24 |
| VLD, IPSJ-SLDM (共催) |
2006-05-12 09:00 |
愛媛 | 愛媛大学 | ボトムアップ解析に基づくSpecC記述間の等価性検証 Subash Shankar（City Univ. of New York）・○藤田昌宏（東大） |
[more] | VLD2006-6 pp.1-6 |
| VLD, IPSJ-SLDM (共催) |
2006-05-12 09:30 |
愛媛 | 愛媛大学 | 動作合成前後の設計記述に対する記号シミュレーションによる形式的等価性検証の検討 ○松本剛史・小松 聡・藤田昌宏（東大） |
[more] | VLD2006-7 pp.7-12 |
| ICD, VLD (共催) |
2006-03-09 09:15 |
沖縄 | メルパルク沖縄 | 長い反例のみを持つ設計誤りに対する帰納的推論を用いた検証手法 ○西原 佑・松本剛史・藤田昌宏（東大） |
[more] | VLD2005-108 ICD2005-225 pp.1-6 |
| CS, CAS, SIP (共催) |
2005-03-15 10:20 |
岡山 | 岡山県立大学 | SIDOモデルを用いたブラインド等化に関する一検討 ○藤田昌宏・津田雄亮・島村徹也（埼玉大） |
本論文では、通信路推定に基づいてブラインド等化を実現するSIDOモデル等化処理に着目し、その等化性能向上のために Le... [more] |
CAS2004-103 SIP2004-146 CS2004-239 pp.37-42 |
| VLD, ICD (共催) |
2005-03-10 - 2005-03-11 |
沖縄 | メルパルク沖縄 | UMLとSpecCを用いたハードウェアの上位設計手法に関する検討 ○松井 健・小松 聡・藤田昌宏（東大） |
[more] | VLD2004-135 ICD2004-231 pp.65-70 |
| VLD, ICD (共催) |
2005-03-10 - 2005-03-11 |
沖縄 | メルパルク沖縄 | SpecC記述のプログラムスライシングを利用した未初期化変数・未使用変数の検出 ○佐々木俊介・田辺 健・藤田昌宏（東大） |
[more] | VLD2004-134 ICD2004-230 pp.59-64 |
| VLD, ICD (共催) |
2005-03-10 - 2005-03-11 |
沖縄 | メルパルク沖縄 | システムレベル設計における同期検証フレームワークの提案 ○サクンコンチャック タンヤパット・小松 聡・藤田昌宏（東大） |
[more] | VLD2004-136 ICD2004-232 pp.71-76 |
[研究会発表申込システムのトップページに戻る]