SIRASANAGANDLA Srinivasa | Department of Anatomy, Melaka Manipal Medical College (Manipal Campus),Manipal University
スポンサーリンク
概要
- SIRASANAGANDLA Srinivasa Raoの詳細を見る
- 同名の論文著者
- Department of Anatomy, Melaka Manipal Medical College (Manipal Campus),Manipal Universityの論文著者
論文 | ランダム
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- 代数的手法を用いたパイプライン方式CPUの設計検証
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
- パイプライン段数を考慮したASIP設計最適化の検討