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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 7件中 1~7件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
DC, CPSY, IPSJ-SLDM, IPSJ-EMB
(共催)
2009-03-05
17:30
新潟 佐渡島開発総合センター システムレベル設計における並列動作の同期に関するデバッグ支援手法
原田裕基西原 佑松本剛史東大)・藤田昌宏東大/JSTCPSY2008-94 DC2008-85
上位設計記述においては、並列動作や同期・通信を用いて設計が記述される。本研究では、同期設計の誤りによりデッドロック等の不... [more] CPSY2008-94 DC2008-85
pp.37-42
VLD, CPSY, RECONF, IPSJ-SLDM
(共催)
2009-01-30
08:40
神奈川 慶応義塾大学(日吉) 順序回路の上位設計記述における等価性指定の自動化手法
許 金美西原 佑松本剛史藤田昌宏東大VLD2008-109 CPSY2008-71 RECONF2008-73
 [more] VLD2008-109 CPSY2008-71 RECONF2008-73
pp.105-110
VLD, CPSY, RECONF, IPSJ-SLDM
(共催)
2009-01-30
09:05
神奈川 慶応義塾大学(日吉) 仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法
高 飛西原 佑松本剛史藤田昌宏東大VLD2008-110 CPSY2008-72 RECONF2008-74
近年、設計期間を短縮するために設計資産の再利用がよく行われている。その際、異なるインタフェースを持つ設計同士を接続する場... [more] VLD2008-110 CPSY2008-72 RECONF2008-74
pp.111-116
DC, CPSY, IPSJ-SLDM, IPSJ-EMB
(共催)
2008-03-28
10:30
鹿児島 屋久島 離島総合開発センター システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法
小島慶久西原 佑松本剛史藤田昌宏東大DC2007-106 CPSY2007-102
システムの大規模複雑化に伴い,シミュレーションベースの検証やデバッグにおいて,人手による入力パターンの作成が困難になって... [more] DC2007-106 CPSY2007-102
pp.133-138
VLD, ICD
(共催)
2008-03-06
15:05
沖縄 沖縄県男女共同参画センター システムレベル設計言語に対するフォールスパスを考慮した性能評価
安藤大介松本剛史西原 佑藤田昌宏東大VLD2007-152 ICD2007-175
近年の高度に複雑化したシステムLSIを設計する際には,設計の早い段階から最大遅延や最小遅延などのタイミング情報を解析する... [more] VLD2007-152 ICD2007-175
pp.49-54
ICD, VLD
(共催)
2007-03-07
15:20
沖縄 メルパルク沖縄 システムレベル設計に対する拡張システム依存グラフを利用した記述チェッカ
安藤大介松本剛史西原 佑藤田昌宏東大
システムLSIやSoCのシステムレベル設計において,バグを早期に発見し修正することが重要である.本稿では,代表的なシステ... [more] VLD2006-112 ICD2006-203
pp.37-42
ICD, VLD
(共催)
2006-03-09
09:15
沖縄 メルパルク沖縄 長い反例のみを持つ設計誤りに対する帰納的推論を用いた検証手法
西原 佑松本剛史藤田昌宏東大
 [more] VLD2005-108 ICD2005-225
pp.1-6
 7件中 1~7件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会