A Procedure for K-Local Testability
スポンサーリンク
概要
- 論文の詳細を見る
ローカルテスタビィティLT (Local Testability) は、正式言語の分野におけるリサーチ・アクティブ・エリアを表すものである。LTはパターン認識の研究の根幹をなすものである。スプリングスのこのような特性を理論上とストリングスの並行分解の観点に対応するところからまた、エラー探知上から考察したものである。これは、狭義におけるK-locally-testable-言語の研究と、LTks. s.の特性における決定テクニックの可能性について焦点をあわせたものである。この研究の結果により、直接的にLTks. sにシンクロタッチ・モノイドによる複雑な代数的アポローチを採用する事なく、ストリングス言語が入っているかどうか確かめる事が可能になる。さらに我々の方法はLTks. s.言語の順序の決定問題と密につながっており、k-locally-testableのような言語パラメーターk (最小の数値) まで定義するする事が可能になる。
- 一般社団法人情報処理学会の論文
- 1997-11-28
著者
-
Tanaka H
Graduate School Of Electrical Engineering The University Of Tokyo
-
Magnaghi Antonio
Graduate School of Electrical Engineering The University of Tokyo
-
Tanaka Hidehiko
Graduate School of Electrical Engineering The University of Tokyo
関連論文
- Cache Coherence Strategies for Speculative Multithreading CMPs : Characterization and Performance Study(Processor Architecture)
- A Procedure for K-Local Testability
- Distributed Garbage Collection for the Parallel Inference Machine : PIE64
- A Study of Garbage Collection for PIE64
- Associating Semantically Structured Cooking Videos with Their Preparation Steps
- Way-variable Caches for Static Power Reduction (デザインガイア2003--VLSI設計の新しい大地を考える研究会)
- Way-variable Caches for Static Power Reduction
- Complexity Analysis of A Cache Controller for Speculative Multithreading Chip Multiprocessors (「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2003))
- A Hardware/Sofware Approach for Thread Level Control Speculation (計算機アーキテクチャ研究報告 2002年並列/分散/協調処理に関する『湯布院』サマー・ワークショップ(SWoPP湯布院2002))
- Dynamic Thread Extension for Speculative Multithreading Architectur (計算機アーキテクチャ 研究報告 2001年並列/分散/協調処理に関する『沖縄』サマー・ワークショップ(SWoPP「沖縄」2001)--研究会・連続同時開催--テーマ:並列/分散/協調システムの支援アーキテクチャ技術と評価)
- A Thread Partitioning Algorithm using Structural Analysis (計算機アーキテクチャ 研究報告 2000年並列/分散/協調処理に開する『松山』サマー・ワークショップ(SWoPP「松山」2000)--研究会・連続同時開催 テーマ:並列/分散/協調システムの支援アーキテクチャ技術と評価)
- Musical Part Separation Based on Perceptual Hierarchy
- VLDP Multipath Execution: Mechanism and Evaluations (計算機アーキテクチャ 研究報告 2001年並列/分散/協調処理に関する『沖縄』サマー・ワークショップ(SWoPP「沖縄」2001)--研究会・連続同時開催--テーマ:並列/分散/協調システムの支援アーキテクチャ技術と評価)