1153万例文収録!

「loop-invariant」に関連した英語例文の一覧と使い方 - Weblio英語例文検索


小窓モード

プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > loop-invariantの意味・解説 > loop-invariantに関連した英語例文

セーフサーチ:オン

不適切な検索結果を除外する

不適切な検索結果を除外しない

セーフサーチについて

loop-invariantの部分一致の例文一覧と使い方

該当件数 : 6



例文

An intra-loop invariant deciding means 11 of a loop optimization processing part 1 retrieves expressions in a loop and decides intra-loop invariant, and from among the decided intra-loop invariants, an intra-loop invariant deciding means under a condition 12 selects an intra-loop invariant being under a condition.例文帳に追加

ループ最適化処理部1のループ内不変式決定手段11によりループ内にある式を検索してループ内不変式を判定し、判定したループ内不変式の中から、条件下にあるループ内不変式決定手段12により条件下にあるループ内不変式を選ぶ。 - 特許庁

OPTIMIZATION SYSTEM AND PROGRAM REGARDING MOVEMENT OF INTRA-LOOP INVARIANT例文帳に追加

ループ内不変な式の移動に関する最適化方式およびプログラム - 特許庁

When a condition deciding means 13 decides the condition of the intra-loop invariant being under a condition as intra-loop invariant, a condition copying means 14 copies the decided condition to the outside of the loop and an intra-loop invariant moving means 15 also moves the intra-loop invariant under a condition to under the copied condition.例文帳に追加

条件下にあるループ内不変式の条件が条件判定手段13によりループ内不変と判定すると、その判定した条件を条件複写手段14によりループの外へ複写するとともに、条件下にあるループ内不変式をループ内不変式移動手段15により、複写された条件下へ移動する。 - 特許庁

To provide an optimization method for an intra-loop invariant which prevents side effects of optimization from occurring even if an intra-loop invariant under a condition is moved to the outside of the loop and whose execution time is short.例文帳に追加

条件下にあるループ内不変式をループの外へ移動しても、最適化の副作用が起こらず、実行時間が短いループ内不変式の最適化方式を提供すること。 - 特許庁

例文

A widely-used compiler optimization involves moving loop-invariant expressions from the body of a loop to the loop’s preheader. 例文帳に追加

広く使われているコンパイラ最適化には、ループ本体からループのプリヘッダへ移動するループ不変式が含まれている。 - コンピューター用語辞典


例文

Concerning the method for checking the correctness of scheduling of the circuit, a loop invariant term is extracted for determining the sufficient set of a non-cyclic thread while a loop is inside the circuit, a symbolic simulation is executed for extracting the loop invariant term, and the equivalency of the non-cyclic thread is proved.例文帳に追加

回路のスケジューリングの正当性をチェックする方法は、ループが回路内にあるときに非巡回スレッドの十分なセットを決定するためにループ不変項を抽出し、ループ不変項を抽出するためにシンボリックシミュレーションを実行し、非巡回スレッドの等価性を証明する。 - 特許庁




  
コンピューター用語辞典
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
  
Copyright © Japan Patent office. All Rights Reserved.
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2026 GRAS Group, Inc.RSS