「program verification」に関連した英語例文の一覧と使い方(14ページ目) - Weblio英語例文検索

To provide an executing method for program verification operation, an executing method for erasing verification operation, and a detection time control circuit in which erroneous trial of program verification operation is prevented while speed of a flash memory device is not adversely affected.例文帳に追加

プログラム検証動作が誤って試行されるのを防止すると共に、フラッシュメモリデバイスの速度に悪影響を及ぼさないようにすることが可能なプログラム検証動作の実施方法、消去検証動作の実施方法、および検出時間制御回路の提供を図る。 - 特許庁

Verification information for operational verification and implementation are described in components, and before a program is generated with components, whether the verification information on the components satisfies the specifications of the program to be generated or not is verified.例文帳に追加

本発明は、コンポーネントに動作を検証するための検証情報および実装を記述しておき、このコンポーネントを用いてプログラムを生成するのに先立って、このコンポーネントの検証情報が生成しようとするプログラムの仕様を満たすか否かを検証するようにした。 - 特許庁

Thus, data transfer wait time during the program operation which necessitates data verification after the program operation is complete is made unnecessary.例文帳に追加

これによって、プログラム動作の完了後データの検証を必要とするプログラム動作の最中のデータ転送待ち時間が不要となる。 - 特許庁

DATA ANALYSIS APPARATUS FOR EXPLANATORY VARIABLE EFFECTIVENESS VERIFICATION, PROGRAM FOR EXECUTING THIS DATA ANALYSIS ON COMPUTER, AND RECORDING MEDIUM WITH THIS PROGRAM例文帳に追加

説明変数有効度検証のためのデータ分析装置、該データ分析をコンピュータに実行させるためのプログラム及び該プログラムの記録媒体 - 特許庁

IMAGE PROCESSING METHOD CHARACTERIZED BY VERIFICATION METHOD, IMAGE PROCESSING APPARATUS, IMAGE PROCESSING PROGRAM, AND RECORDING MEDIUM WITH THE PROGRAM RECORDED THEREON例文帳に追加

照合方法に特長をもつ画像処理方法、画像処理装置、画像処理プログラムおよび画像処理プログラムを記録した記録媒体 - 特許庁

By the automatic printer operation verification software to be provided to the maker of a printer and users of the printer and the storage medium recording it, PDL verification data and an automatic verification program capable of efficiently performing verification of many verification items by necessary minimum tests in a short operation verification time, compared with in the past in development of a new model printer are provided.例文帳に追加

プリンタメーカ及びそのプリンタ利用者に提供する自動プリンタ動作検証ソフトウェア及びそれを記録した記録媒体により、新機種プリンタの開発の際に、必要とする最小のテストにより、従来に比べて少ない動作検証時間で多くの検証項目を効率的に行うことができるＰＤＬ検証データと自動検証プログラムを備える。 - 特許庁

IMAGE OUTPUT DEVICE OPERATION VERIFICATION DEVICE, IMAGE OUTPUT DEVICE OPERATION VERIFYING METHOD, RECORDING MEDIUM, AND PROGRAM例文帳に追加

画像出力装置動作検証装置、画像出力装置動作検証方法、記憶媒体、及びプログラム - 特許庁

DEVICE AND METHOD FOR CONNECTION VERIFICATION OF LSI AND MEDIUM WITH CONNECTION VERIFYING PROGRAM RECORDED THEREON例文帳に追加

ＬＳＩの接続検証装置、接続検証方法および接続検証プログラムを記録した媒体 - 特許庁

METHOD FOR VERIFYING TOP-DOWN ITEM AND MANAGING HISTORY OF VERIFICATION, INFORMATION PROCESSOR, PROGRAM AND RECORDING MEDIUM例文帳に追加

トップダウン案件検証および検証履歴管理方法、情報処理装置、プログラム、および記録媒体 - 特許庁

DEVICE AND METHOD FOR COMPARATIVELY VERIFYING PATTERN AND MEDIUM WITH RECORDED COMPARATIVE PATTERN VERIFICATION PROGRAM例文帳に追加

パターン比較検証装置、パターン比較検証方法およびパターン比較検証プログラムを記録した媒体 - 特許庁

To achieve the application of a correction program to a system and the operation verification of the system without stopping a task.例文帳に追加

業務の停止を行うことなく、システムへの修正プログラムの適用と動作検証を実現する。 - 特許庁

DESIGN ADEQUACY VERIFICATION DEVICE, METHOD AND PROGRAM REGARDING SUPPRESSION OF POWER SOURCE NOISE OF ELECTRONIC CIRCUIT BOARD例文帳に追加

電子回路基板の電源雑音抑制に関する設計妥当性検証装置と方法並びにプログラム - 特許庁

METHOD AND DEVICE FOR EXPOSURE DATA CREATION, METHOD AND EQUIPMENT FOR EXPOSURE DATA VERIFICATION, AND PROGRAM例文帳に追加

露光データ作成方法、露光データ作成装置、露光データ検証方法、露光データ検証装置、及びプログラム - 特許庁

FUNCTION VERIFICATION DEVICE, TEST BENCH, MODEL DESIGNED BY HARDWARE DESCRIPTION LANGUAGE, SIMULATOR PROGRAM AND RECORDING MEDIUM例文帳に追加

機能検証装置、テストベンチ、ハードウェア記述言語により設計されたモデル、シミュレータプログラム及び記憶媒体 - 特許庁

The static verification program reads a circuit description 51 and a property 52 in a reading procedure.例文帳に追加

本発明にかかる静的検証プログラムは、読込手順おいて回路記述５１及びプロパティ５２を読み込む。 - 特許庁

(i) Does the institution clearly separate responsibilities for system data reception, operation,operation results verification, and data and program storage? 例文帳に追加

（ⅰ）データ受付、オペレーション、作業結果確認、データやプログラムの保管の職務分担は明確になっているか。 - 金融庁

To provide a measure decomposition device and a program used for verification of approximate simulation relation.例文帳に追加

近似的なシミュレーション関係の確認に用いられる測度分解装置及びプログラムを提供すること。 - 特許庁

DEVICE AND METHOD FOR DATA PROCESSING CONTENTS DATA VERIFICATION VALUE IMPARTING METHOD, AND PROGRAM PROVIDING MEDIUM例文帳に追加

データ処理装置、データ処理方法およびコンテンツデータ検証値付与方法、並びにプログラム提供媒体 - 特許庁

The management station 1 verifies the presence/absence of falsification of the download software program on the basis of a result of the verification.例文帳に追加

管理局１は、その検証結果に基づいてダウンロードソフトウェアの改竄の有無を検証する。 - 特許庁

METHOD FOR VERIFYING ELECTRON BEAM LITHOGRAPHY DATA, VERIFYING DEVICE, VERIFICATION PROGRAM, AND ELECTRON BEAM LITHOGRAPHIC DEVICE例文帳に追加

電子線描画データの検証方法、検証装置及び検証プログラム並びに電子線描画装置 - 特許庁

KEY GENERATOR, ANONYMOUS SIGNATURE GENERATOR, SIGNATURE VERIFICATION DEVICE, MANAGEMENT DEVICE, ANONYMOUS SIGNATURE METHOD AND PROGRAM例文帳に追加

鍵生成装置、匿名署名生成装置、署名検証装置、管理装置、匿名署名方法及びプログラム - 特許庁

To easily verify a sequence program without previously describing the contents of verification specifications as an operation diagram.例文帳に追加

検証仕様の内容を動作図として予め記述することなく、容易にシーケンスプログラムを検証する。 - 特許庁

SIGNATURE PROCESSING SYSTEM, KEY GENERATING DEVICE, SIGNATURE DEVICE, VERIFICATION DEVICE, SIGNATURE PROCESSING METHOD AND SIGNATURE PROCESSING PROGRAM例文帳に追加

署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム - 特許庁

SYSTEM AND METHOD FOR SUPPORTING VERIFICATION OF CIRCUIT FUNCTION, CONTROL PROGRAM AND READABLE RECORDING MEDIUM例文帳に追加

回路機能検証支援システム、回路機能検証支援方法、制御プログラムおよび可読記録媒体 - 特許庁

APPARATUS AND METHOD FOR ANALYZING MORPHEME, COMPUTER PROGRAM, VOICE SYNTHESIZER, AND VOICE VERIFICATION APPARATUS例文帳に追加

形態素解析装置、形態素解析方法、コンピュータプログラム、音声合成装置及び音声照合装置 - 特許庁

IMAGING DEVICE AND ITS CONTROLLING METHOD, VERIFICATION DEVICE AND ITS CONTROLLING METHOD, COMPUTER PROGRAM, STORAGE MEDIUM例文帳に追加

撮像装置及びその制御方法、検証装置及びその制御方法、コンピュータプログラム、記憶媒体 - 特許庁

The processing part 200 performs verification by performing assertion check and deadlock detection on the generated enlarged program.例文帳に追加

処理部２００は、生成した拡大プログラムについてアサーションチェックとデッドロック検出を行って検証する。 - 特許庁

To provide an information processor, a program verification method and a program for previously verifying the protection method of data to be protected, which are described in a program list.例文帳に追加

プログラムリストに記述された保護すべきデータの保護の仕方を事前に検証することが可能な情報処理装置、プログラム検証方法及びプログラムを提供する。 - 特許庁

A program compares secret information owned by a virtual machine with verification information of the program itself so as to verify whether the virtual machine operating the program itself has been implemented in an authorized way.例文帳に追加

そのため、仮想マシンを不正に実装することで、その上で稼動するプログラムに正規の動作ではなく、不正な動作をさせることが可能となるという問題がある。 - 特許庁

In verification of an operation of the LSI 2, a common processing program development means 111 develops a common processing program on the memory of the LSI 2 by using a writing device 4 for starting the program.例文帳に追加

LSI2の動作を検証する場合、共通処理プログラム展開手段111が、書き込み装置４を用いて、共通処理プログラムをLSI2のメモリ上に展開し、起動する。 - 特許庁

A program compares secret information owned by a virtual machine with the verification information of the program itself so as to verify whether the virtual machine operating the program itself has been implemented in an authorized way.例文帳に追加

そのため、仮想マシンを不正に実装することで、その上で稼動するプログラムに正規の動作ではなく、不正な動作をさせることが可能となるという問題がある。 - 特許庁

When performing verification of connection between macros, a table for defining the connection between macros and the subject of verification are compared with each other, using an inter-macro (A, B, C, and D) check program, and the result of verification as to whether the subject of verification according to the table to show the connection between macros is outputted in file form.例文帳に追加

マクロ間接続検証を行うときに、マクロ間の接続を定義する表1001と検証対象201 とを、マクロ間チェックプログラム1004を用いて比較し、検証対象がマクロ間の接続を表すテーブルとおりになっているか検証した結果を、ファイル形式1002で出力する。 - 特許庁

To provide an identification code verifying device, an identification code verification system, a method of verifying an identification code, and an identification code verification program, which easily perform verification when separately performing printing and verification of an identification code and verifying identification codes of various types.例文帳に追加

識別コードの印刷と検証を別々に行なう場合や、様々なタイプの識別コードの検証を行なう場合に、検証を容易に行なうことができる識別コード検証装置、識別コード検証システム、識別コード検証方法、識別コード検証プログラムを提供することである。 - 特許庁

To provide a logic simulator for preventing an overlapping transaction that has been already issued from being issued again, and to provide a logic circuit verification method and a logic circuit verification program.例文帳に追加

既に発行された重複するトランザクションの再発行を防ぐ論理シミュレータ、論理回路検証方法及び論理回路検証プログラムを提供すること。 - 特許庁

To provide a description verification device and method and a control program and a storage medium for preventing any pseudo error from being generated from a description verification method.例文帳に追加

記述検証手段から擬似エラーが発生するのを防止することができる記述検証装置及び方法及び制御プログラム及び記憶媒体を提供する。 - 特許庁

To provide a behavioral synthesis verification auxiliary device, a behavioral synthesis verification auxiliary method, a program and a recording medium for preventing bugs, setting error or omission.例文帳に追加

バグの混入や設定ミス、設定漏れの発生を抑えた動作合成検証補助装置、動作合成検証補助方法、プログラム、及び記録媒体を提供する。 - 特許庁

To provide a signature data verification support system and program, capable of easily executing signature verification of a certificate issued from a different authentication bureau with no trust chain.例文帳に追加

信頼連鎖のない異なる認証局から発行された証明書の署名検証をも容易に行うことができる署名データ検証支援システムおよびプログラムを得る。 - 特許庁

CALIBRATION METHOD FOR PARALLEL MECHANISM, VERIFICATION METHOD FOR CALIBRATION, VERIFICATION PROGRAM FOR CALIBRATION, DATA SAMPLING METHOD AND CORRECTION DATA SAMPLING METHOD IN SPACE POSITION CORRECTION例文帳に追加

パラレルメカニズム機構のキャリブレーション方法、キャリブレーションの検証方法、キャリブレーションの検証プログラム、データ採取方法及び空間位置補正における補正データ採取方法 - 特許庁

To provide a verification device of a program, wherein influence of presence/absence of a verification code on temporal behavior of a code amount or a control system is reduced.例文帳に追加

検証コードの有無がコード量や制御系システムの時間的なふるまいに与える影響を小さくすることができるプログラムの検証装置を提供すること。 - 特許庁

HARDWARE VERIFICATION PROGRAMMING LANGUAGE MODEL GENERATION APPARATUS, HARDWARE VERIFICATION PROGRAMMING LANGUAGE MODEL GENERATION METHOD, COMPUTER SYSTEM, HARDWARE SIMULATION METHOD, CONTROL PROGRAM, AND READABLE STORAGE MEDIUM例文帳に追加

ハードウェア検証用プログラミング言語モデル生成装置、ハードウェア検証用プログラミング言語モデル生成方法、コンピュータシステム、ハードウェアシミュレーション方法、制御プログラムおよび可読記憶媒体 - 特許庁

To provide a test case validity automatic verification program and a test case validity automatic verification result display method which can verify test case validity appropriately.例文帳に追加

適切にテストケース妥当性を検証することができるテストケース妥当性自動検証プログラムおよびテストケース妥当性自動検証結果表示方法を提供する。 - 特許庁

The software verification is executed by verifying the operating state when the processor 14 is operated by loading a program for logical verification to the processor 14, by using an in-circuit emulator 25 and a debugger.例文帳に追加

ソフトウェア検証は、プロセッサ１４に対し論理検証用のプログラムをロードして動作させたときの動作状態をインサーキットエミュレータ２５及びデバッガを用いて検証する。 - 特許庁

Also, reference voltage and verification voltage can be set, after a semiconductor memory is manufactured, also by a program test circuit for calculating reference voltage and verification voltage.例文帳に追加

また、参照電圧および検証電圧を算出するプログラム試験回路によっても、半導体メモリの製造後に参照電圧および検証電圧を設定できる。 - 特許庁

METHOD FOR UTILIZING SERVICE, USER UNIT, SERVICE UTILIZATION PROCESSING PROGRAM, SERVICE PROVIDER UNIT, SERVICE PROVISION PROCESSING PROGRAM, VERIFIER UNIT, VERIFICATION PROCESSING PROGRAM, CERTIFICATE MANAGEMENT UNIT, CERTIFICATE MANAGEMENT PROGRAM AND RECORDING MEDIUM例文帳に追加

サービス利用方法、ユーザ装置、サービス利用処理プログラム、サービス提供者装置、サービス提供処理プログラム、検証者装置、検証処理プログラム、証明書管理装置、証明書管理プログラム及び記録媒体 - 特許庁

This execution method for program verification operation or erasion verification operation has a step in which a reference memory cell is programmed, a step in which a memory cell is programmed, a step in which a set signal is generated using the contents of the reference memory cell, and a step in which program verification operation or erasion verification operation of a memory cell is started by using the set signal.例文帳に追加

基準メモリセルをプログラムするステップと、メモリセルをプログラムするステップと、基準メモリセルの内容を用いてセット信号を生成するステップと、セット信号を用いて、メモリセルのプログラム検証動作または消去検証動作を開始するステップとを有するプログラム検証動作または消去検証動作の実施方法を提供する。 - 特許庁