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

To provide a code verification processing method capable of efficiently providing information by using a display identifier, a code verification processing program and a code display program.例文帳に追加

表示識別子を用いて効率的に情報を提供することができるコード照合処理方法、コード照合処理プログラム及びコード表示プログラムを提供する。 - 特許庁

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

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

To provide a logic verification controller, a logic verification method, a computer program and a computer-readable storage medium which realize the operation verification of pipe line processing and the simultaneous operation verification of a plurality of circuits.例文帳に追加

パイプライン処理の動作検証及び複数回路の同時動作検証を可能にする論理検証制御装置及び論理検証方法、並びに、コンピュータプログラム及びコンピュータ読み取り可能な記憶媒体を提供する。 - 特許庁

To provide a logic verification system, a logic verification method, and a logic verification program, each contributes to reduction of man-hour for logic design with respect to logic verification and error position correction of a designed logic circuit.例文帳に追加

設計した論理回路の論理検証およびエラー箇所の修正において、論理設計工数の低減に寄与することのできる論理検証装置、論理検証方法および論理検証プログラムを提供する。 - 特許庁

To provide an asynchronous circuit-verifying program data generation method, an asynchronous circuit verification method and an asynchronous circuit verification device, allowing higher-speed verification of an asynchronous circuit.例文帳に追加

非同期回路の検証において、より高速で検証を行うことができる非同期回路検証用のプログラムデータ生成方法、非同期回路検証方法及び非同期回路検証装置を提供する。 - 特許庁

This method is constituted by providing an ISA specification analyzing step S101 to analyze the ISA specification of a processor, a creating step S103 of verification program generation data to create data to be required for generation of the verification program and a verification program generating step S105 to generate the verification program by using the data.例文帳に追加

プロセッサの命令セットアーキテクチャ（ＩＳＡ）仕様を解析するＩＳＡ仕様解析ステップ（Ｓ１０１）と、検証プログラムの生成に必要なデータを作成する検証プログラム生成データ作成ステップ（Ｓ１０３）と、前記データを用いて検証プログラムを生成する検証プログラム生成ステップ（Ｓ１０５）とを有する。 - 特許庁

PROGRAM, APPARATUS AND METHOD FOR GENERATING VERIFICATION INFORMATION OF ELECTRONIC MAIL, AND PROGRAM AND APPARATUS FOR VERIFYING ELECTRONIC MAIL例文帳に追加

電子メールの検証情報生成プログラム、及びその装置、ならびにその方法、電子メールの検証プログラム、及びその装置 - 特許庁

METHOD AND DEVICE FOR VERIFYING RATIO OPERATION AND STORAGE MEDIUM RECORDING RATIO OPERATION VERIFICATION PROGRAM例文帳に追加

レシオ動作検証方法および装置、並びにレシオ動作検証プログラムを記録した記録媒体 - 特許庁

SYSTEM, METHOD AND PROGRAM FOR INPUT INFORMATION VERIFICATION例文帳に追加

入力情報検証システム、入力情報検証方法及び入力情報検証用プログラム - 特許庁

LOAD VERIFICATION REQUIREMENT SPECIFYING APPARATUS, METHOD, AND PROGRAM例文帳に追加

負荷検証要件特定装置、負荷検証要件特定方法及び負荷検証要件特定プログラム - 特許庁

CONNECTION SYSTEM FOR CONFIGURATION VERIFYING EQUIPMENT, VERIFICATION TERMINAL, CONNECTION METHOD FOR CONFIGURATION VERIFYING EQUIPMENT, AND PROGRAM例文帳に追加

構成証明機器接続システム、検証端末、構成証明機器接続方法、及びプログラム - 特許庁

DATA VERIFICATION SYSTEM, ITS METHOD, IDENTIFIER CREATOR, DATA VERIFIER, PROGRAM THEREOF AND RECORD MEDIUM例文帳に追加

データ検証システム、その方法、識別子生成装置、データ検証装置、それらプログラム及び記録媒体 - 特許庁

DATA RETENTION DEVICE, DATA RETENTION METHOD, DATA VERIFICATION DEVICE, DATA ACCESS PERMISSION DEVICE, PROGRAM, RECORDING MEDIUM例文帳に追加

データ保存装置、データ保存方法、データ検証装置、データアクセス許可装置、プログラム、記録媒体 - 特許庁

CONSISTENCY VERIFICATION METHOD OF OBJECT INTERNAL STATE, INFORMATION PROCESSING SYSTEM, PROGRAM AND RECORDING MEDIUM例文帳に追加

オブジェクト内部状態の一貫性確認方法、情報処理システム、プログラム、および記録媒体 - 特許庁

INFORMATION PROCESSOR, WORK FLOW SYSTEM, VERIFICATION CONTROL METHOD FOR INFORMATION PROCESSOR, PROGRAM, AND RECORDING MEDIUM例文帳に追加

情報処理装置、ワークフローシステム、情報処理装置の検証制御方法、プログラム、及び、記録媒体。 - 特許庁

INFORMATION PROCESSING SYSTEM, INFORMATION PROCESSOR, FUNCTIONAL VERIFICATION SUPPORT METHOD OF NEW COMPUTER AND COMPUTER PROGRAM例文帳に追加

情報処理システム、情報処理装置、新計算機の機能検証支援方法、及びコンピュータプログラム - 特許庁

TIME STAMP COMPRESSION APPARATUS, VERIFICATION APPARATUS, REQUEST APPARATUS, SERVER, CONTROL METHOD, PROGRAM, AND STORAGE MEDIUM例文帳に追加

タイムスタンプ圧縮装置、検証装置、要求装置、サーバ、制御方法、プログラム、及び記憶媒体 - 特許庁

IDENTIFICATION CODE GENERATION/VERIFICATION DEVICE, PROGRAM AND METHOD, CARD HAVING IDENTIFICATION CODE, AND PERSONAL AUTHENTICATION SYSTEM例文帳に追加

識別コード生成・検証装置、プログラム、方法、識別コードを有するカード及び個人認証システム - 特許庁

SYSTEM AND METHOD FOR DIGITAL SIGNATURE VERIFICATION USING BIOMETRICS INFORMATION, AND PROGRAM FOR THEM例文帳に追加

バイオメトリクス情報を用いたデジタル署名・検証システムおよび方法ならびにそのためのプログラム - 特許庁

METHOD FOR VERIFYING MASK DATA AND COMPUTER-READABLE RECORDING MEDIUM WITH RECORDED VERIFICATION PROGRAM例文帳に追加

マスクデータの検証方法および検証プログラムを記録したコンピュータ読み取り可能な記録媒体 - 特許庁

METHOD, APPARATUS AND PROGRAM FOR SUPPORTING MACHINING VERIFICATION, AND MEMORY MEDIUM例文帳に追加

機械加工検証支援方法および装置、機械加工検証支援用プログラムおよび記憶媒体 - 特許庁

DOCUMENT-PRODUCING DEVICE FOR ALTERATION VERIFICATION, DOCUMENT ALTERATION VERIFYING DEVICE, DOCUMENT-PRODUCING METHOD FOR ALTERATION VERIFICATION, DOCUMENT ALTERATION VERIFYING METHOD, DOCUMENT-PRODUCING PROGRAM FOR ALTERATION VERIFICATION, DOCUMENT ALTERATION VERIFYING PROGRAM, RECORDING MEDIUM STORED WITH THE DOCUMENT-PRODUCING PROGRAM FOR ALTERATION VERIFICATION, AND RECORDING MEDIUM STORED WITH THE DOCUMENT ALTERATION VERIFYING PROGRAM例文帳に追加

改ざん検証用文書作成装置、文書改ざん検証装置、改ざん検証用文書作成方法、文書改ざん検証方法、改ざん検証用文書作成プログラム、文書改ざん検証プログラム、改ざん検証用文書作成プログラムを格納した記録媒体および文書改ざん検証プログラムを格納した記録媒体 - 特許庁

PATTERN VERIFICATION-INSPECTION METHOD, METHOD FOR ACQUIRING DISTRIBUTION OF OPTICAL IMAGE INTENSITY, AND PROGRAM FOR ACQUIRING DISTRIBUTION OF OPTICAL IMAGE INTENSITY例文帳に追加

パターン検証・検査方法、光学像強度分布取得方法および光学像強度分布取得プログラム - 特許庁

TIME CERTIFICATION METHOD, TIME CERTIFICATION AUDIT METHOD, TIME CERTIFICATION DEVICE, AUDIT DEVICE, TIME CERTIFICATION PROGRAM, TIME CERTIFICATION AUDIT PROGRAM, TIME CERTIFICATION VERIFICATION PROGRAM, AND PROGRAM RECORDING MEDIUM例文帳に追加

時刻証明方法、時刻証明監査方法、時刻証明装置、監査装置、時刻証明プログラム、時刻証明監査プログラム、時刻証明検証プログラム、およびプログラム記録媒体 - 特許庁

METHOD AND DEVICE FOR REGISTERING AT IMAGE DATA, REGISTRATION PROGRAM, RECORDING MEDIUM WITH THE PROGRAM RECORDED, METHOD AND DEVICE FOR VERIFYING IMAGE DATA, VERIFICATION PROGRAM AND RECORDING MEDIUM WITH THE PROGRAM RECORDED例文帳に追加

イメージデータへの登録方法及び装置、登録プログラム及びそれを記録した記録媒体、並びにイメージデータの検証方法及び装置、検証プログラム及びそれを記録した記録媒体 - 特許庁

To provide an information verification device, an information verification program and an information verification method which can verify the correctness of the information of image data extracted based on any extraction condition.例文帳に追加

何らかの抽出条件に基づいて抽出された画像データ等の情報の正誤を検証する情報検証装置、情報検証プログラムおよび情報検証方法を実現する。 - 特許庁

To provide a substrate processing system, a substrate processing method, a verification program and a recording medium on which verification program is recorded by which percentage of completion of a processing recipe execution program is promptly improved.例文帳に追加

処理レシピ実行プログラムの完成度を速やかに向上させることのできる基板処理システム、基板処理方法、検証プログラム、及び検証プログラムを記録した記録媒体を提供する。 - 特許庁

To provide an equivalence verification program for efficiently and easily verifying equivalence between an analog circuit and a characteristic model thereof, a computer readable recording medium recording the equivalence verification program, an equivalence verification device and an equivalence verification method.例文帳に追加

アナログ回路とその特性モデルとの等価性を効果的かつ容易に検証することができる等価性検証プログラム、等価性検証プログラムを記録したコンピュータ読み取り可能な記録媒体、等価性検証装置、および等価性検証方法を提供する。 - 特許庁

METHOD FOR VERIFICATION OF LOGICAL DEVICE, APPARATUS THEREFOR, STORAGE MEDIUM STORING PROGRAM FOR EXECUTING THE METHOD AND ITS 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.例文帳に追加

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

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.例文帳に追加

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

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 design verification device, a design verification method and a design verification program that make it possible to easily and accurately generate a correspondence relationship between an operation content and an operation result of an embedded device and the like, and to perform a design verification.例文帳に追加

組込機器等の操作内容と操作結果との対応関係を容易かつ正確に生成して設計検証を行うことが可能になる、設計検証装置、設計検証方法、及び設計検証プログラムを提供すること。 - 特許庁

CONTENT FEATURE AMOUNT EXTRACTION DEVICE AND PROGRAM THEREFOR, CONTENT VERIFICATION PROGRAM AND METHOD THEREFOR例文帳に追加

コンテンツ特徴量抽出装置及びそのプログラム並びにコンテンツ認証データ生成装置及びそのプログラム並びにコンテンツ認証方法 - 特許庁

METHOD AND PROGRAM FOR VERIFYING ELECTRONIC INFORMATION DISCLOSURE, AND RECORDING MEDIUM WITH ELECTRONIC INFORMATION DISCLOSURE VERIFICATION PROGRAM RECORDED THEREON例文帳に追加

電子情報公開検証方法、電子情報公開検証プログラム、電子情報公開検証プログラムを記録した記録媒体 - 特許庁

TIME CERTIFICATE EXTENSION METHOD, TIME CERTIFICATE APPARATUS, TIME CERTIFICATE EXTENSION PROGRAM, TIME CERTIFICATE VERIFICATION PROGRAM FOR EXTENSION, AND PROGRAM RECORDING MEDIUM例文帳に追加

時刻証明書延長方法、時刻証明装置、時刻証明書延長プログラム、延長用時刻証明書検証プログラム、およびプログラム記録媒体 - 特許庁

PROGRAM LOADER WITH TAMPERING VERIFICATION FUNCTION FOR LOAD-DESTINATION INFORMATION, PROCESSOR INCLUDING PROGRAM LOADER, DATA PROCESSING DEVICE INCLUDING PROCESSOR, PROGRAM LOADING METHOD, AND INTEGRATED CIRCUIT例文帳に追加

ロード先情報に対する改ざん検証機能を備えたプログラムローダ、プログラムローダを含むプロセッサ、プロセッサを含むデータ処理装置、プログラムロード方法、及び集積回路 - 特許庁

VERIFICATION METHOD FOR SEMICONDUCTOR INTEGRATED CIRCUIT PATTERN, METHOD FOR FORMING PHOTOMASK, METHOD FOR MANUFACTURING SEMICONDUCTOR INTEGRATED CIRCUIT DEVICE, AND PROGRAM TO IMPLEMENT VERIFICATION METHOD FOR SEMICONDUCTOR INTEGRATED CIRCUIT PATTERN例文帳に追加

半導体集積回路パターンの検証方法、フォトマスクの作成方法、半導体集積回路装置の製造方法、及び半導体集積回路パターンの検証方法を実現するためのプログラム - 特許庁

To provide a verification method and verification program of circuit design, which can improve the quality of a circuit by detecting the deadlock of a state machine.例文帳に追加

ステートマシンのデッドロックを検出し、回路の品質を向上させることができる回路設計の検証方法および検証プログラムの提供を図る。 - 特許庁

ORIGINAL NATURE WARRANT SYSTEM, ELECTRONIC SIGNATURE GENERATION INTERFACE METHOD, ORIGINAL NATURE VERIFICATION INTERFACE METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

原本性保証システム、電子署名生成インタフェース方法、原本性検証インタフェース方法、プログラム、及び記録媒体 - 特許庁

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例文帳に追加

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

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

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