スペ-スシャトルに使われているコンピュ-タ技術
スポンサーリンク
概要
著者
関連論文
- V850マイコンとパソコンをつないで並列処理 USB接続型赤外線学習リモコンの製作事例 (特集 OSの移植から学習リモコン,CDプレーヤ,しゃべる抽選機の製作まで 必見! フレッシャーズ特別企画(第2弾)V850マイコン基板で作る! 遊ぶ! 学ぶ!)
- 減色機能を備えるアニメーション向けフォント生成ツールを作成 FRマイコンのOSD機能を使って「初音ミク」アニメーション
- 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
- 急激に変化する黎明期から,緩やかな成熟期へ LSI/FPGA設計の現状と今後 (特集 HDLをごりごり書かずにSoCやFPGAが設計できる! 複雑化する回路設計にC言語やUMLで反撃!)
- 代数的手法を用いた同期式順序回路の設計支援機能の統合
- 二段階動作合成によるグループ署名ASICの実装と評価(設計事例,システムオンシリコンを支える設計技術)
- 関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明
- ASLプログラム開発システムにおける検証の自動化について
- 共通鍵暗号AESの低消費電力論理回路構成法
- in-order実行パイプラインCPUの正しさの自動証明例
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- グループ署名回路のアーキテクチャ最適化
- グループ署名回路のアーキテクチャ最適化
- 形式的手法を用いたin-order実行パイプラインCPUの自動設計検証(並列処理)
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- 代数的手法を用いたパイプライン方式CPUの設計検証
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
- in-order実行パイプラインCPUの正しさの自動証明例
- 代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化
- プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化
- 全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明
- 並列実行される動作におけるデータ代入の衝突の判定
- 代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順
- ハードウェアで高速並列処理を実現したリードソロモン復号アルゴリズム(下)アルゴリズムの詳細と回路化のためのポイント
- ハードウェアで高速処理を実現したリードソロモン復号アルゴリズム(上)高速化のための工夫と応用例
- 組み合わせ回路で実現したReed-Solomon符号・復号器の論理簡単化
- 組み合わせ回路による高速Reed-Solomon符号化復合化方式
- 処理のあらましを理解して回路を作ろう わかる! CRC計算回路の作り方とアレンジ
- スペ-スシャトルに使われているコンピュ-タ技術
- スペ-スシャトルに使われているコンピュ-タ技術
- 多重並列グループ署名の低消費電力回路アーキテクチャ(アーキテクチャ設計1,システムオンシリコンを支える設計技術)
- 二段階動作合成によるグループ署名回路の早期性能調整法と実装例(グループ署名回路,暗号と情報セキュリティ実装技術論文)
- グループ署名回路のクラウドサーバ/クライアント向け実装方法(招待講演)