スポンサーリンク
東芝研究開発センター | 論文
- Fe/Au/Fe積層膜のホットエレクトロン伝導
- 19pYB-11 F/N/F接合系における磁化のコヒーレント振動(微小領域磁性,領域3(磁性,磁気共鳴))
- 短絡板を用いた1点給電円偏波円環マイクロストリップアンテナ
- 移動体衛星通信用セルフダイプレキシングアンテナの高利得化
- N素子円偏波セルフダイプレキシングアレーアンテナの利得の偏波依存性
- 論理回帰分析法による脳機能画像からの知識の発見
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- 三段階ネット指向ソフトウェア設計法
- 超逐次プログラミング : 高信頼並行プログラムの新しい開発手法の提案
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 会話によるプログラミング : 動的並列オブジェクト指向言語の提案
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 時制論理に基づく仕様記述とそのデバッグ環境
- 知的プログラミングシステム (AI技術)
- 並列プログラムの知的プログラミング支援システムMENDELS(3) : 時制論理からの同期部の自動生成
- 並列プログラムの知的プログラミング支援システムMENDELS(2) : 部品再利用による本体部の生成
- 並列プログラムの知的プログラミング支援システムMENDELS(1) : システム構成