「bounded control」を含む例文一覧(2)
- A program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program.
プログラムは、このプログラムを介して分離的な制御経路にもとづいてトンネルを創出することによる、有界モデル検査（ＢＭＣ）のために、下位問題に分解されている。 - 特許庁 - Therefore, the more quantity of DC can be eliminated with efficiency by regularly performing the code suppression control at code conversion and selecting the more bounded route of a code string at the DC suppression control time point.
よって、コード変換時に規則的なコード抑圧制御を行い、ＤＣ抑圧制御時により多くバウンドされるコード列経路を選択することにより、コード列からより多量のＤＣをより効率良く除去できる。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
