渡邉 勝正

Quantum versus Classical Pushdown Automata in Exact Computation 

Journal of IPSJ Vol.45, No.10, p.2471-2480 2005年10月  

Quantum versus Classical Pushdown Automata in Exact Computation 

Journal of IPSJ Vol.45, No.10, p.2471-2480 2005年10月  

能動関数によるアサーション検証設計 

コンピュータソフトウェア Vol.22, No.3, p.76-91 2005年7月  

Reconfigurable 1-Bit Processor Array with Reduced Wirng Area 

Proc. International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA 2005) p.225-231 2005年6月  

Reconfigurable 1-Bit Processor Array with Reduced Wirng Area 

Proc. International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA 2005) p.225-231 2005年6月  

拡張に適したアクティブソフトウェアの設計解析法 

日本ソフトウェア科学会 第22回全国大会 1C-3 2005年  

Event-Oriented Computing with Reconfigurable Platform 

Proc. of the 10th Asia and South Pacific Design Automation Conference (ASP-DAC 2005) pp. 1248-1251 2005年  

Event-Oriented Computing with Reconfigurable Platform 

Proc. of the 10th Asia and South Pacific Design Automation Conference (ASP-DAC 2005) pp. 1248-1251 2005年  

Toward a Practical Environment for Quantum Programming 

Proc. of Asia-Pacific Conference on Quantum Information Science 2004 2004年  

ソフトウェアの自己変更を支援する機構について 

電子情報通信学会 ソフトウェアサイエンス研究会 信学技報 SS2004-34 pp. 1-6 2004年  

安全性を保証するアクティブソフトウェアの構成法 

シンポジウム「システム検証の科学技術」2004 pp.115 - 125 2004年  

Toward a Practical Environment for Quantum Programming 

Proc. of Asia-Pacific Conference on Quantum Information Science 2004 2004年  

Bit Length Optimization of Fractional Part on Floating to Fixed Point Conversion for High-Level Synthesis 

IEICE Trans. Fundamentals Vol.E86-A, No.12, pp. 3184-3191 2003年  

能動関数の配列によるアクティブソフトウェアの構成 

日本ソフトウェア科学会第20回大会(2003年度)論文集 4B-1 2003年  

An On-Chip High Speed Serial Communication Method Based on Independent Ring Oscillators 

International Solid State Circuit Conference 03 22.3, pp.390-391 2003年  

日本語プログラミング環境とその活用 

情報処理学会プログラミング研究会 2003年  

Bit Length Optimization of Fractional Part on Floating to Fixed Point Conversion for High-Level Synthesis 

IEICE Trans. Fundamentals Vol.E86-A, No.12, pp. 3184-3191 2003年  

An On-Chip High Speed Serial Communication Method Based on Independent Ring Oscillators 

International Solid State Circuit Conference 03 22.3, pp.390-391 2003年  

拡張したオブジェクトによる重回帰分析支援システム 

計算機統計学 Vol.14, N0.2, p.95 - 110 2002年  

Look Up Table Compaction Based on Folding of Logic Functions 

IEICE Trans Fundamentals E85-A(12) 2701-2707 2002年