「subproblems」を含む例文一覧(1)

  • A program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program.
    プログラムは、このプログラムを介して分離的な制御経路にもとづいてトンネルを創出することによる、有界モデル検査（ＢＭＣ）のために、下位問題に分解されている。 - 特許庁

例文データの著作権について

  • 特許庁
    Copyright © Japan Patent office. All Rights Reserved.