佐藤 直


証明の手戻りを防止するEvent-Bモデルの変更手法
佐藤 直人 石川 冬樹 
誌名:   電子情報通信学会論文誌 D
発行日: 2016/09/01
Vol. J99-D  No. 9  pp. 895-914
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
形式手法Event-B証明責務
 あらまし | 本文:PDF(763.4KB)

多段フレーム同期外れに伴うバースト符号誤りの計算法
佐藤 直 
誌名:   電子情報通信学会論文誌 B
発行日: 2001/11/01
Vol. J84-B  No. 11  pp. 2005-2016
論文種別:  論文
専門分野: ネットワーク
キーワード: 
ディジタルハイアラキスタッフ同期フレーム同期外れAISバースト符号誤り
 あらまし | 本文:PDF(539.7KB)

並行オブジェクト指向プログラミングにおける効率的な 再帰メソッド呼出し機構の提案
柳川 和久 佐藤 直人 大澤 範高 弓場 敏嗣 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/08/25
Vol. J82-D1  No. 8  pp. 980-987
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
並行オブジェクト再帰デッドロック
 あらまし | 本文:PDF(956.7KB)

符号誤り監視結果を併用したフレーム同期方式
佐藤 直 
誌名:   電子情報通信学会論文誌 B
発行日: 1990/10/25
Vol. J73-B1  No. 10  pp. 768-776
論文種別:  論文
専門分野: 通信方式,通信伝送機器
キーワード: 
 あらまし | 本文:PDF(722.1KB)

同期安定度を改善するフレーム同期方式の提案
佐藤 直 
誌名:   電子情報通信学会論文誌 B
発行日: 1984/04/25
Vol. J67-B  No. 4  pp. 432-438
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(530.9KB)

ディジタル網回線損失の最適設計
澤栗 達也 山本 豊 佐藤 直 
誌名:   電子情報通信学会論文誌 B
発行日: 1983/06/25
Vol. J66-B  No. 6  pp. 735-742
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(641.7KB)