infeasible pathとは 意味・読み方・使い方

PATH-INSENSITIVE ANALYSIS THROUGH INFEASIBLE-PATH DETECTION AND SYNTACTIC LANGUAGE REFINEMENT例文帳に追加

実行不可能な経路検出と構文上の言語改良による経路依存解析 - 特許庁

Information about such infeasible paths is used to achieve the effects of path-sensitivity in path-insensitive program analysis.例文帳に追加

このような実行不可能な経路についての情報は、経路に依存しないプログラム解析において経路依存性の効果を実現するために使用される。 - 特許庁

If the property is not proved, infeasible paths in the program are determined by performing a path-insensitive abstract interpretation.例文帳に追加

性質が証明されなければ、経路に依存しない抽象的解釈を行うことによって、プログラム内の実行不可能な経路が決定される。 - 特許庁

A system and a method for infeasible path detection include performing a static analysis on a program to prove a property of the program.例文帳に追加

実行不可能な経路検出のためのシステム及び方法は、プログラムの性質を証明するためのプログラムに静的解析を行うことを含んでいる。 - 特許庁

The operation of an LMS arithmetic section 10 is thereupon controlled by a control section 14 in such a manner that the execution of the identification operation of the secondary sound path C is made infeasible when the level Ve of the error component is low, i.e., when the level of the identification sound is low.例文帳に追加

そこで、上記エラー成分のレベルＶｅが低いとき、即ち同定音のレベルが低いときには、二次音路Ｃの同定動作を実行不可能とするよう、制御部１４によりＬＭＳ演算部１０の動作を制御する。 - 特許庁