杉山 裕二


パイプライン化依存性グラフを簡単化するための効率的な等価性判定アルゴリズム
籠谷 裕人 杉山 裕二 岡本 卓爾 
誌名:   
発行日: 2017/06/01
Vol. J100-D  No. 6  pp. 616-626
論文種別:  論文
専門分野: 計算機システム
キーワード: 
非同期式制御回路パイプライン簡単化因果関係
 あらまし | 本文:PDF(680.1KB)

セレクト及びマージ頂点数の最小化によるパイプライン化依存性グラフの簡単化
籠谷 裕人 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/05/01
Vol. J95-D  No. 5  pp. 1206-1215
論文種別:  論文
専門分野: 計算機システム
キーワード: 
非同期式制御回路パイプライン簡単化有限オートマトン
 あらまし | 本文:PDF(717.2KB)

非同期式制御回路合成のための依存性グラフパイプライン化アルゴリズムの検証
籠谷 裕人 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/11/01
Vol. J93-D  No. 11  pp. 2343-2353
論文種別:  論文
専門分野: 計算機システム
キーワード: 
非同期式パイプライン依存性グラフアルゴリズム正当性完全性
 あらまし | 本文:PDF(327.2KB)

並列データパス付き小型DSPを利用したVGA動画像の射影変換:高速化のための二つの提案
尾崎 亮 太田 寛志 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/08/01
Vol. J91-D  No. 8  pp. 2148-2156
論文種別:  論文
専門分野: コンピュータグラフィックス
キーワード: 
射影変換動画像DSP実時間処理並列処理
 あらまし | 本文:PDF(475.6KB)

依存性グラフを利用した非同期式パイプライン合成のための制御回路の構成法
籠谷 裕人 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/02/01
Vol. J91-D  No. 2  pp. 402-412
論文種別:  論文
専門分野: コンピュータ構成要素
キーワード: 
非同期式制御回路非同期式パイプライン依存性グラフ制御モジュール信号遷移グラフ
 あらまし | 本文:PDF(417.1KB)

制御フローグラフを用いた非同期式パイプライン合成
籠谷 裕人 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/05/01
Vol. J90-D  No. 5  pp. 1167-1177
論文種別:  論文
専門分野: コンピュータ構成要素
キーワード: 
非同期式プロセッサパイプライン依存性グラフ
 あらまし | 本文:PDF(399.9KB)

射影変換における座標計算の高速化手法
尾崎 亮 佐藤 洋一郎 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/01/01
Vol. J88-D2  No. 1  pp. 1-7
論文種別:  論文
専門分野: 画像・映像処理
キーワード: 
射影変換座標計算高速生成線形近似漸化式
 あらまし | 本文:PDF(540.9KB)

信号変化生起条件判定に基づくタイミング検証の高速化
大西 淳 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/07/25
Vol. J82-D1  No. 7  pp. 812-818
論文種別:  特集論文 (テストと設計検証論文特集)
専門分野: 設計検証
キーワード: 
タイミング検証組合せ論理回路回路設計信号変化生起条件
 あらまし | 本文:PDF(298.2KB)

信号変化生起条件判定のためのシンプレックス法の高速化
大西 淳 籠谷 裕人 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/04/25
Vol. J81-D1  No. 4  pp. 417-427
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
タイミング検証非同期式回路回路設計シンプレックス法
 あらまし | 本文:PDF(805.7KB)

帰還を用いたメタステーブル動作持続期間の短縮法
佐藤 洋一郎 河合 雅弘 岡本 卓爾 杉山 裕二 小林 稔史 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/11/25
Vol. J78-D1  No. 11  pp. 886-894
論文種別:  論文
専門分野: 計算機構成要素
キーワード: 
メタステーブル動作フィードバックCMOS RSフリップフロップ
 あらまし | 本文:PDF(557.9KB)

仕様を利用した非同期式順序回路のタイミング検証―詳細に検証すべき状態遷移の絞り込み―
大西 淳 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/06/25
Vol. J78-D1  No. 6  pp. 539-548
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
タイミング検証非同期式回路仕様状態遷移設計過程
 あらまし | 本文:PDF(738KB)

代数的手法を用いた同期式順序回路の段階的設計法
北道 淳司 東野 輝夫 谷口 健一 杉山 裕二 
誌名:   電子情報通信学会論文誌 A
発行日: 1994/03/25
Vol. J77-A  No. 3  pp. 420-429
論文種別:  論文
専門分野: VLSI設計技術
キーワード: 
代数的手法同期式順序回路段階的詳細化設計検証設計自動化
 あらまし | 本文:PDF(805.8KB)

順序回路の代数的仕様とその検証-モジュール数がパラメータ化されている場合-
侯 豫榕 佐藤 洋一郎 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/11/25
Vol. J76-D1  No. 11  pp. 594-603
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
順序回路代数的仕様記述検証リングアービタ
 あらまし | 本文:PDF(674.7KB)

メタステーブル動作を模擬するためのCMOS NORゲートモデル
佐藤 洋一郎 岡本 卓爾 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/10/25
Vol. J75-D1  No. 10  pp. 900-908
論文種別:  論文
専門分野: 計算機構成要素
キーワード: 
メタステーブル動作CMOSゲートモデル競合
 あらまし | 本文:PDF(555.9KB)

プロセッサ制御回路におけるシーケンサのテスト集合生成法
的場 和男 横平 徳美 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 1991/10/25
Vol. J74-D1  No. 10  pp. 739-748
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
 あらまし | 本文:PDF(751.8KB)

代数的言語ASLにおける抽象的順序機械型プログラムとその処理系
大蘆 雅弘 杉山 裕二 谷口 健一 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/12/25
Vol. J73-D1  No. 12  pp. 971-978
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
 あらまし | 本文:PDF(815.3KB)

マルチプレクサを用いて構成したシフタの最小テスト集合
道西 博行 横平 徳美 岡本 卓爾 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/05/25
Vol. J73-D1  No. 5  pp. 532-534
論文種別:  レター
専門分野: 
キーワード: 
 あらまし | 本文:PDF(248.7KB)

非通属性をもつ属性文法とそのPROLOGによる実行系
馮 安 杉山 裕二 藤井 護 鳥居 宏次 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/07/25
Vol. J70-D  No. 7  pp. 1311-1319
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(735.3KB)

代数的言語ASL/*―意味定義を中心に―
嵩 忠雄 谷口 健一 杉山 裕二 関 浩之 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/07/25
Vol. J69-D  No. 7  pp. 1066-1074
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(740.7KB)

代数的仕様検証支援系及びそれを用いた検証例
東野 輝夫 工藤 尊弘 縄田 修造 杉山 裕二 谷口 健一 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/04/25
Vol. J67-D  No. 4  pp. 472-479
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(789.6KB)

順編成ファイル管理システムの代数的記述について―同期機能の表現―
杉山 裕二 奥井 順 嵩 忠雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/02/25
Vol. J66-D  No. 2  pp. 159-166
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(671.7KB)

あるクラスの項書き換え系の効率のよい実行
杉山 裕二 鈴木 一郎 谷口 健一 嵩 忠雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1982/07/25
Vol. J65-D  No. 7  pp. 858-865
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(692.2KB)

基底代数を前提とする代数的仕様
杉山 裕二 谷口 健一 嵩 忠雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1981/04/25
Vol. J64-D  No. 4  pp. 324-331
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(683.7KB)

HDLC手順の代数的記述
森 将豪 東野 輝夫 杉山 裕二 谷口 健一 嵩 忠雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1981/02/25
Vol. J64-D  No. 2  pp. 124-131
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(767.5KB)

セーフペトリネットに関する等価性ならびに簡単化判定問題の計算複雑さ
松浦 敏雄 杉山 裕二 谷口 健一 嵩 忠雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1980/06/25
Vol. J63-D  No. 6  pp. 501-508
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(566.1KB)

分散形システムにおけるデッドロックの検出と回復
杉山 裕二 藤井 護 嵩 忠雄 奥井 順 
誌名:   電子情報通信学会論文誌 D
発行日: 1980/01/25
Vol. J63-D  No. 1  pp. 40-47
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(756.9KB)

デッドロックの回避問題の複雑さ
杉山 裕二 荒木 俊郎 奥井 順 嵩 忠雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1977/04/25
Vol. J60-D  No. 4  pp. 251-258
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(711.9KB)

デッドロックの回避について―各資源の数が1の場合―
杉山 裕二 奥井 順 嵩 忠雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1976/11/25
Vol. J59-D  No. 11  pp. 770-777
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(686.8KB)

あるクラスの決定性プッシュダウンオートマトンの等価性判定
谷口 健一 嵩 忠雄 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 1975/01/25
Vol. J58-D  No. 1  pp. 36-43
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(563.7KB)