| 例文 |
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.例文帳に追加
プログラムは、このプログラムを介して分離的な制御経路にもとづいてトンネルを創出することによる、有界モデル検査(BMC)のために、下位問題に分解されている。 - 特許庁
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.例文帳に追加
よって、コード変換時に規則的なコード抑圧制御を行い、DC抑圧制御時により多くバウンドされるコード列経路を選択することにより、コード列からより多量のDCをより効率良く除去できる。 - 特許庁
| 例文 |
| Copyright © Japan Patent office. All Rights Reserved. |
|
ログイン |
Weblio会員(無料)になると
|
|
ログイン |
Weblio会員(無料)になると
|