Analysis of Rollbacks in Parallel Logic Simulation Based on Virtual Time*
スポンサーリンク
概要
著者
-
Kikuno Tohru
Osaka Univ. Osaka
-
Kikuno T
Osaka Univ.
-
世古 忠
奈良工業高等専門学校
-
Wang F
Peking Union Medical Coll. Beijing Chn
関連論文
- 並列論理シミュレーションにおけるロールバックについて
- QRコードのデコードソフトウェアの開発及び高速化に関する検討
- シミュレーティドアニーリングを用いたCMOS組合せ回路の最大同時スイッチングゲート数の評価
- Generalized LR構文解析法による曖昧な文脈自由言語の解析
- CKY法による曖昧な文脈自由言語の解析
- 階層的グラフ表現による曖昧な言語の解析
- On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm
- An Effective Testing Method for Hardware Related Fault in Embedded Software(Software Engineering for Embedded Systems)
- レイ・トレーシングによる布の表現
- VHDLシミュレータを用いたCMOS乗算回路のグリッチの評価
- 補助記憶を用いた二次元高速フ-リエ変換処理プログラム
- Feature Interaction Detection by Bounded Model Checking(Dependable Communication)(Dependable Computing)
- 組合せ回路の消費電力削減に関する一考察
- Software Project Simulator for Effective Process Improvement (特集 〔情報処理学会〕創立40周年記念論文)
- 紙テ-プを用いた画像出力装置
- 組合せ回路の並列論理シミュレーションにおけるスケジューリング問題について
- Verifying Fault Tolerance of Concurrent Systems by Model Checking(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
- New Constructions for Nondominated k-Coteries
- Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development(Software Engineering for Embedded Systems)
- Test Item Prioritizing Metrics for Selective Software Testing(Software Engineering)
- Enhancing Software Project Simulator toward Risk Prediction with Cost Estimation Capability(Special Section on Concurrent Systems Technology)
- Experimental Evaluation of Two-Phase Project Control for Software Development Process(Special Section on Concurrent Systems Technology)
- A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol(Special Section on Concurrent Systems Technology)
- Timed Reachability Analysis Method for Communication Protocols Modeled by Extended Finite State Machines (Special Issue on Multimedia Communication and Distributed Processing)
- Experimental Evaluation of Processor Scheduling Algorithm for Parallel Logic Simulation Using Benchmark Circuits
- Model Checking Active Database Rules under Various Rule Processing Strategies
- 長波長ホログラムにおける点物体の再生像の界強度分布(技術談話室)
- The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm
- 並列論理シミュレーションにおけるロールバックについて
- 部分定数乗算を考慮した任意桁数乗算回路の自動生成
- AES暗号回路におけるSubBytesの低消費電力化
- SPFDを用いた新しい置換法に基づくLUT型FPGAの最適化
- SSPFを用いたCMOS回路の消費電力削減法
- 信号値遷移確率を用いた低電力乗算回路の一構成法
- コーン分割による組合せ回路の最大同時変化ゲート数の並列計算法
- FPGAを用いたLSIチップ作成の一試み
- 連想記憶プロセッサを用いたパターン並列故障シミュレーシンの解析
- 多段論理回路での実現を考慮した順序回路の状態割当て法について
- Analysis of Rollbacks in Parallel Logic Simulation Based on Virtual Time*
- 移植性を考慮したコンパイラ駆動方式論理シミュレータの開発
- 紙テープを用いた簡易形画像出力装置
- 2次元高速フ-リエ変換を用いたレンズの像空間における界分布の計算(技術談話室)
- Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
- パソコンCADにおける要素のデータ表現に関する一考察
- レイ・トレーシング用データ作成プログラム
- UNIX上で動く-日本語画面エディタの作成
- UNIX上での日本語入力モジュールの開発
- 円筒面走査による長波長ホログラム-2-
- 多色カラーグラフィックディスプレイ装置の試作
- マイクロプロセッサに適したPASCAL目的 コードの実行効率の向上に関する一手法
- 円筒面走査による長波長ホログラム
- マイクロコンピュ-タシステムNATEC/Zの開発
- 長波長ホログラムの結像特性
- 2次元FFTを用いたレンズの像空間における界強度分布の計算
- 順位文法を用いた構文解析
- FORTRANの構文解析について
- Model Checking Active Database Rules under Various Rule Processing Strategies
- Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints