WEKO3
-
RootNode
アイテム
C-035 ハードウェア上位設計HDCamlから形式記述言語LOTOSへのコード生成と論理回路ライブラリの構築(ハードウェア・アーキテクチャ,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/149120
https://ipsj.ixsq.nii.ac.jp/records/149120de82e4b4-bd77-45d8-a7ba-5843e9eda0a5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006864777.pdf (399.8 kB)
|
Copyright (c) 2009 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-08-20 | |||||||||
| タイトル | ||||||||||
| タイトル | C-035 ハードウェア上位設計HDCamlから形式記述言語LOTOSへのコード生成と論理回路ライブラリの構築(ハードウェア・アーキテクチャ,一般論文) | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | C-035 Code Generation and Logic Circuit Library in Formal Specification Language LOTOS using a High-level Hardware Design HDCaml | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 信州大学大学院工学系研究科情報工学専攻 | ||||||||||
| 著者所属 | ||||||||||
| 信州大学大学院工学系研究科情報工学専攻 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Science and Technology, Shinshu University | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Science and Technology, Shinshu University | ||||||||||
| 著者名 |
桑島, 芳朗
× 桑島, 芳朗
× 和崎, 克己
|
|||||||||
| 著者名(英) |
Kuwashima, Yoshirou
× Kuwashima, Yoshirou
× Wasaki, Katsumi
|
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA1242354X | |||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 8, 号 1, p. 515-518, 発行日 2009-08-20 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
