On soundness verification of acyclic workflow nets using the SPIN model checker (第21回 回路とシステム軽井沢ワークショップ論文集) -- (ネットとシステム)
スポンサーリンク
概要
- 論文の詳細を見る
- [電子情報通信学会]の論文
- 2008-04-21
[電子情報通信学会] | 論文
- 雑音統計を用いた微弱信号検出の通信への応用 (第21回 回路とシステム軽井沢ワークショップ論文集) -- (センサ)
- 離散時間型セルラーニューラルネットワークによる画像高解像度化 (第21回 回路とシステム軽井沢ワークショップ論文集) -- (インタラクティブセッション)
- 離散時間型セルラニューラルネットワークを用いた空間領域シグマデルタ変調 (第20回 回路とシステム軽井沢ワークショップ論文集) -- (ニューラルシステムとその応用)
- ΔΣ変調に基づく1ビット信号処理による状態空間表現ディジタルフィルタ設計法の検討 (第20回 回路とシステム軽井沢ワークショップ論文集) -- (信号処理応用)
- Simulated annealing法による動的再構成可能プロセッサのためのタスク分割最適化アルゴリスム (リコンフィギャラブルとキャッシュ最適化)