「Program Slicing」を含む例文一覧(4)
- Program slicing works by finding the parts of a program relevant to the value of a chosen set of variables at some chosen point in a program.
プログラムスライシングは、プログラム中のある選ばれた点における選ばれた一群の変数の値に適合するプログラムの部分を見つけることによって動作する。 - コンピューター用語辞典 - Delivery images for a plurality of program channels are combined, and a zapping channel is delivered which is obtained by synchronously slicing a part of the composite image in turn.
複数の番組チャンネルの配信映像を合成して、その一部の領域を順繰りに同期スライスとしたザッピングチャンネルを配信する。 - 特許庁 - To provide an image display device and an image display program, capable of slicing off a lesion area assumed to be the focus of disease to an appropriate size and displaying the lesion area.
病巣と思われる病変領域を適切な大きさで切り出して表示することができる画像表示装置および画像表示プログラムを提供する。 - 特許庁 - To provide a method for tunneling and slicing based bounded model checking (BMC) decomposition to improve efficiency and reduce complexity for computer program verification.
コンピュータ・プログラム検証の効率を改善し複雑さを減少するための、トンネリング及びスライシング・ベースの有界モデル検査（ＢＭＣ）分解のための方法を提供する。 - 特許庁
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
