お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール		 技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
（ 研究会名/開催地/テーマ  ）→
 
（ 講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード ）→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演（開催プログラムが公開されているもの）  （日付・降順）
 72件中　61～72件目 [前ページ]  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
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
 72件中　61～72件目 [前ページ]  /   
ダウンロード書式の初期値を指定してください ＮＥＷ！！
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式

[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]
IEICE / 電子情報通信学会